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 -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx 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/devel@xxxxxxxxxxxxxxxxxxxxxxx
