[pkgdb] cudd was added for konradm

[Fedora PackageDB]

kevin has added Package cudd with summary CU Decision Diagram Package
kevin has approved Package cudd
kevin has added a Fedora devel branch for cudd with an owner of konradm
kevin has approved cudd in Fedora devel
kevin has approved Package cudd
kevin has set commit to Approved for provenpackager on cudd (Fedora devel)
kevin has set build to Approved for provenpackager on cudd (Fedora devel)
kevin has set checkout to Approved for provenpackager on cudd (Fedora devel)

To make changes to this package see:
  https://admin.fedoraproject.org/pkgdb/packages/name/cudd