[pkgdb] prover9 (Fedora EPEL, 5) updated by kevin

Mon Aug 4 18:45:15 UTC 2008

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

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