[pkgdb] prover9 (Fedora, devel) updated by kevin
Fedora PackageDB (pkgdb)
fedora-extras-commits at redhat.com
Mon Aug 4 18:45:15 UTC 2008
Kevin Fenzi (kevin) Approved packager for commit access on prover9 (Fedora devel)
To make changes to this package see:
https://admin.fedoraproject.org/pkgdb/packages/name/prover9
More information about the fedora-extras-commits
mailing list