OCaml 4.10.0 was released over the weekend. We currently have OCaml 4.10.0 beta 1 in Rawhide. It's not that far away from 4.10.0. Unfortunately since building beta 1, Fedora 32 was forked from Rawhide so we now have the beta 1 build in Fedora 32 as well. Hopefully the plan is as follows: (1) Rebuild OCaml 4.10.0 in a side tag then move it to Rawhide. I don't expect any difficulties here since all the hard work was already done when I built beta 1. (2) Merge all those changes into the f32 branches of the ocaml* packages. (3) (This is where it gets more speculative because my mass rebuild script has only ever been run against Rawhide ...) Rebuild in a side tag of Fedora 32, and if that goes well then merge the side tag in F32. This should start happening this afternoon / tomorrow. There are some packages which are still failing to build: * coccinelle - Uses -unsafe-string, still waiting resolution upstream. * nbdkit - Caused a crash in goals, all my code so I will try to debug it this time * plplot - FTBFS for unrelated reasons last time * z3 - https://bugzilla.redhat.com/show_bug.cgi?id=1792740 coq and friends failed last time, but I believe they should work now. Latest status is in this thread: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx/thread/6I2CB4KNAZXH6TKX5WQZJ3ZQGBIOCNJK/ opam should be fixed now (was https://bugzilla.redhat.com/show_bug.cgi?id=1792770) Mass rebuild script: http://git.annexia.org/?p=fedora-ocaml-rebuild.git;a=summary Talk about mass rebuilding technique: https://rwmj.wordpress.com/2020/01/14/goals-an-experimental-new-tool-which-generalizes-make/ 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
