https://bodhi.fedoraproject.org/updates/FEDORA-2020-150918c861 A summary of what happened: * Coq (and friends) don't build because camlp5 -> lablgtk3 -> coq. camlp5 has not been ported upstream to OCaml 4.11. * Same for haxe and why3. * I wasn't able to "unbootstrap" menhir and dune since they both depend on Coq. * GPG verification is broken in Rawhide so I couldn't complete some of my packages (https://bugzilla.redhat.com/show_bug.cgi?id=1826925) Everything else built, but you may have noticed that I had to push a few rather ugly fixes to get several packages to build. In all cases I have opened bugs upstream so with luck these will get fixed in time for real OCaml 4.11. I scratch-built the OCaml compiler package on RISC-V, which if you can remember a very long time ago was the whole purpose of the exercise. I'll work with David to see if we can build the remaining packages for Fedora/RISC-V. Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com virt-top is 'top' for virtual machines. Tiny program with many powerful monitoring features, net stats, disk stats, logging, etc. http://people.redhat.com/~rjones/virt-top _______________________________________________ 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
