Anyone want to review and/or sponsor Coq package?
Richard W.M. Jones
rjones at redhat.com
Sun Jun 8 12:24:49 UTC 2008
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/
More information about the fedora-devel-list
mailing list