Anyone want to review and/or sponsor Coq package?
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:
I can have a look at this tomorrow if you don't find anyone in the
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.
fedora-devel-list mailing list