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/ _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org
