https://koji.fedoraproject.org/koji/taskinfo?taskID=40738495
https://kojipkgs.fedoraproject.org//work/tasks/8495/40738495/build.log
To save a bit of time I'll tell you what's going on: Coq is trying to
use char *young_limit which is an internal OCaml garbage collector
field. This worked in older OCaml, but will not work in OCaml 4.10
since GC state is now kept in an indirect structure (because of
multicore GC). So Coq upstream is going to need to be fixed so
whatever it's trying to do with the GC internals it stops doing :-/
As I doubt this is going to be an easy fix, I blocked coq + dependent
packages from the mass rebuild.
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
Read my programming and virtualization blog:
http://rwmj.wordpress.com
virt-p2v converts physical machines to virtual machines. Boot with a
live CD or over the network (PXE) and turn machines into KVM guests.
http://libguestfs.org/virt-v2v