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