Coq has now been rebuilt .. although I suspect that's largely by luck.
In any case you can go ahead and rebuild any dependencies that you
wanted to.
Thanks,
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
virt-top is 'top' for virtual machines. Tiny program with many
powerful monitoring features, net stats, disk stats, logging, etc.
http://et.redhat.com/~rjones/virt-top