Thanks to help the other day from the list, there is now a candidate Coq package for fedora: https://bugzilla.redhat.com/show_bug.cgi?id=450323 If anyone would like to review this and/or sponsor me (this is my first contribution) it would be much appreciated. It would probably also be good to note that, as mentioned at the bottom of the bugzilla listing, the URLs http://www.duke.edu/~amd34/coq/coq-8.1pl3-1.fc9.src.rpm http://www.duke.edu/~amd34/coq/coq.spec are probably one's best bet in retrieving the SRPM and spec file as the original server is flakier than I anticipated. - Alan -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
