On 09/22/2018 10:35 PM, Jerry James wrote: > 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
I'll try to work on these bugs in upcoming week. > > 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? > -- Mikolaj Izdebski Senior Software Engineer, Red Hat IRC: mizdebsk _______________________________________________ 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
