[pkgdb] pvs-sbcl (Fedora, 11) updated by kevin

[Fedora PackageDB]

kevin added a Fedora 11 branch for pvs-sbcl
kevin has set commit to Approved for 107427 on pvs-sbcl (Fedora 11)
kevin has set checkout to Approved for 107427 on pvs-sbcl (Fedora 11)
kevin has set build to Approved for 107427 on pvs-sbcl (Fedora 11)

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