[pkgdb] cryptominisat was added for jjames

[Fedora PackageDB]

limb has added Package cryptominisat with summary SAT solver
limb has approved Package cryptominisat
limb has added a Fedora devel branch for cryptominisat with an owner of jjames
limb has approved cryptominisat in Fedora devel
limb has approved Package cryptominisat
limb has set checkout to Approved for provenpackager on cryptominisat (Fedora devel)
limb has set commit to Approved for provenpackager on cryptominisat (Fedora devel)

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