[pkgdb] coq had acl change status

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



amdunn has set the watchbugzilla 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
Fedora-ocaml-list@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-ocaml-list

[Index of Archives]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Big List of Linux Books]     [Yosemite News]     [KDE Users]

  Powered by Linux