[pkgdb] flocq was added for jjames
Fedora PackageDB
pkgdb at fedoraproject.org
Wed Oct 26 23:23:45 UTC 2011
jkeating has added Package flocq with summary Formalization of floating point numbers for Coq
jkeating has approved Package flocq
jkeating has added a Fedora devel branch for flocq with an owner of jjames
jkeating has approved flocq in Fedora devel
jkeating has approved Package flocq
jkeating has set checkout to Approved for provenpackager on flocq (Fedora devel)
jkeating has set commit to Approved for provenpackager on flocq (Fedora devel)
To make changes to this package see:
https://admin.fedoraproject.org/pkgdb/acls/name/flocq
More information about the scm-commits
mailing list