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 _______________________________________________ devel mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected]
