Anyone want to review and/or sponsor Coq package?

["Alan Dunn" <amdunn gmail com>]

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