[pkgdb] cvc4 was added for jjames

[Fedora PackageDB]

limb has added Package cvc4 with summary Automatic theorem prover for SMT problems
limb has approved Package cvc4
limb has added a Fedora devel branch for cvc4 with an owner of jjames
limb has approved cvc4 in Fedora devel
limb has approved Package cvc4
limb has set checkout to Approved for provenpackager on cvc4 (Fedora devel)
limb has set commit to Approved for provenpackager on cvc4 (Fedora devel)

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