amdunn has set the watchbugzilla acl on coq (Fedora 11) to Approved for ocamlmaint To make changes to this package see: https://admin.fedoraproject.org/pkgdb/packages/name/coq