[pkgdb] coq: jjames has requested commit
Fedora PackageDB
pkgdb at fedoraproject.org
Tue Mar 29 03:16:31 UTC 2011
jjames has requested the commit acl on coq (Fedora devel)
To make changes to this package see:
https://admin.fedoraproject.org/pkgdb/acls/name/coq
More information about the scm-commits
mailing list