Anyone noticed strange signals (segfaults?) delivered to processes in latest Rawhide in Koji?

[Richard W.M. Jones]

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