Anyone want to review and/or sponsor Coq package?
Alan Dunn
amdunn at gmail.com
Sun Jun 8 11:20:43 UTC 2008
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
More information about the fedora-devel-list
mailing list