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