Anyone want to review and/or sponsor Coq package?

[Richard W.M. Jones]

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/