[pkgdb] cvc3 was added for jjames

[Fedora PackageDB]

kevin has added Package cvc3 with summary Validity checker of many-sorted first-order formulas with theories
kevin has approved Package cvc3
kevin has added a Fedora devel branch for cvc3 with an owner of jjames
kevin has approved cvc3 in Fedora devel
kevin has approved Package cvc3
kevin has set commit to Approved for 107427 on cvc3 (Fedora devel)
kevin has set checkout to Approved for 107427 on cvc3 (Fedora devel)
kevin has set build to Approved for 107427 on cvc3 (Fedora devel)

To make changes to this package see:
  /pkgdb/packages/name/cvc3