[pkgdb] coq: ocamlmaint has requested watchcommits
Fedora PackageDB
pkgdb at fedoraproject.org
Mon Jan 19 15:21:58 UTC 2009
ocamlmaint has requested the watchcommits acl on coq (Fedora 9)
To make changes to this package see:
https://admin.fedoraproject.org/pkgdb/packages/name/coq
More information about the scm-commits
mailing list