[pkgdb] cbmc was added for shakthimaan

[Fedora PackageDB]

limb has added Package cbmc with summary Bounded Model Checker for ANSI-C and C++ programs
limb has approved Package cbmc
limb has added a Fedora devel branch for cbmc with an owner of shakthimaan
limb has approved cbmc in Fedora devel
limb has approved Package cbmc
limb has set checkout to Approved for provenpackager on cbmc (Fedora devel)
limb has set commit to Approved for provenpackager on cbmc (Fedora devel)

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