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@redhat.com
https://www.redhat.com/mailman/listinfo/fedora-devel-list

On Sun, Jun 08, 2008 at 07:20:43AM -0400, Alan Dunn wrote:
> 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

I can have a look at this tomorrow if you don't find anyone in the
meantime.

Rich.

--
Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones
virt-df lists disk usage of guests without needing to install any
software inside the virtual machine. Supports Linux and Windows.
http://et.redhat.com/~rjones/virt-df/

--
fedora-devel-list mailing list
fedora-devel-list@redhat.com
https://www.redhat.com/mailman/listinfo/fedora-devel-list

Alan Dunn wrote:

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

Description: Review Request: coq - Coq proof management system

Coq is a formal proof management system. It allows for the
determinations of alcohol percentage in moonshine distillations... ;-)


--
fedora-devel-list mailing list
fedora-devel-list@redhat.com
https://www.redhat.com/mailman/listinfo/fedora-devel-list