On Sun, Jan 19, 2020 at 9:39 AM Richard W.M. Jones <rjones(a)redhat.com> wrote:
... Or maybe not. That patch fixes the first problem, but then
there's a seemingly much harder problem:
I'm going to leave Coq alone for now.
I found an upstream commit that fixes this:
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....