[pkgdb] pvs-sbcl was added for jjames

[Fedora PackageDB]

kevin has added Package pvs-sbcl with summary Interactive theorem prover from SRI
kevin has approved Package pvs-sbcl
kevin has added a Fedora devel branch for pvs-sbcl with an owner of jjames
kevin has approved pvs-sbcl in Fedora devel
kevin has approved Package pvs-sbcl
kevin has set commit to Approved for 107427 on pvs-sbcl (Fedora devel)
kevin has set checkout to Approved for 107427 on pvs-sbcl (Fedora devel)
kevin has set build to Approved for 107427 on pvs-sbcl (Fedora devel)

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