On Sun, Jan 19, 2020 at 9:39 AM Richard W.M. Jones <rjo...@redhat.com> wrote: > ... Or maybe not. That patch fixes the first problem, but then > there's a seemingly much harder problem: > > https://kojipkgs.fedoraproject.org//work/tasks/5534/40745534/build.log > > I'm going to leave Coq alone for now.
I found an upstream commit that fixes this: https://github.com/coq/coq/commit/829f9385813b3d2ff45b8bec5f8741d51333c270 I will apply it and keep my fingers crossed. In other coq news, I've been preparing to upgrade to 8.10.2. I'm in talks with the antlr4 maintainer about finally undoing the stupid bundling of the antlr4 python3 runtime. I've run the ocaml-cairo changes by you, and have ocaml-lablgtk3 waiting in the wings. Unless you object, I will go ahead with the ocaml-cairo changes tomorrow, then submit ocaml-lablgtk3 for review. Once that passes review and the antlr4 changes are done, I can attempt the upgrade, then submit 3 more packages for review so frama-c can be upgraded.... Regards, -- Jerry James http://www.jamezone.org/ _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org 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@lists.fedoraproject.org
