[pkgdb] prover9 (Fedora, 9) updated by kevin

Mon Aug 4 18:45:15 UTC 2008

Kevin Fenzi (kevin) added a Fedora 9 branch for prover9
Kevin Fenzi (kevin) has set commit to Approved for packager on prover9 (Fedora 9)
Kevin Fenzi (kevin) has set build to Approved for packager on prover9 (Fedora 9)
Kevin Fenzi (kevin) has set checkout to Approved for packager on prover9 (Fedora 9)
Kevin Fenzi (kevin) Approved packager for commit access on prover9 (Fedora 9)

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