amdunn has set the commit acl on coq (Fedora 14) to Approved for jjames To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/coq