We're heading for a Fedora 29 release with a broken coq/frama-c/why3
stack. I've got fixes waiting in the wings, but they're blocked on
these antlr4 bugs:
https://bugzilla.redhat.com/show_bug.cgi?id=1596974
https://bugzilla.redhat.com/show_bug.cgi?id=1599015
Time is running out, and the antlr4 maintainer clearly doesn't have
time to do anything about the situation. I don't have the bandwidth
to just jump in and take over. Is there anybody who can help with the
2 new Java packages required to upgrade antlr4, and the actual upgrade
itself?
--
Jerry James
http://www.jamezone.org/