amdunn has set the watchcommits acl on coq (Fedora 9) to Approved for ocamlmaint
To make changes to this package see: https://admin.fedoraproject.org/pkgdb/packages/name/coq _______________________________________________ Fedora-ocaml-list mailing list [email protected] https://www.redhat.com/mailman/listinfo/fedora-ocaml-list
