https://bugzilla.redhat.com/show_bug.cgi?id=1599015
Bug ID: 1599015 Summary: antlr4: python 3 runtime support Product: Fedora Version: rawhide Component: antlr4 Severity: medium Assignee: mizdebsk@redhat.com Reporter: loganjerry@gmail.com QA Contact: extras-qa@fedoraproject.org CC: java-sig-commits@lists.fedoraproject.org, jkastner@redhat.com, lef@fedoraproject.org, mizdebsk@redhat.com, msimacek@redhat.com, projects.rg@smart.ms, puntogil@libero.it
Description of problem: A new version of coq has been released. It requires the antlr4 4.7.1 python 3 runtime support package. When you update to version 4.7.1, would you please also make a subpackage for the python 3 runtime? Thank you.
Version-Release number of selected component (if applicable): N/A
How reproducible: N/A
Steps to Reproduce: 1. 2. 3.
Actual results: N/A
Expected results: N/A
Additional info:
https://bugzilla.redhat.com/show_bug.cgi?id=1599015
--- Comment #1 from Jerry James loganjerry@gmail.com --- I tried to help move things along by working on the new dependencies in antlr 4.7.1. Here are links to what I've got so far (could probably use more work), as well as the changes to the antlr4 package itself to make the python 3 runtime available.
http://jamezone.org/pleasure/software/Fedora/mojo-executor-2.3.0-1.fc29.src.... http://jamezone.org/pleasure/software/Fedora/string-template-maven-plugin-1.... http://jamezone.org/pleasure/software/Fedora/antlr4-4.7.1-1.fc29.src.rpm
More work would have to be done to provide the other language runtimes.
https://bugzilla.redhat.com/show_bug.cgi?id=1599015
Jerry James loganjerry@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Blocks| |1606675
Referenced Bugs:
https://bugzilla.redhat.com/show_bug.cgi?id=1606675 [Bug 1606675] why3: FTBFS in Fedora rawhide
https://bugzilla.redhat.com/show_bug.cgi?id=1599015
Jerry James loganjerry@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Blocks| |1606674
Referenced Bugs:
https://bugzilla.redhat.com/show_bug.cgi?id=1606674 [Bug 1606674] why: FTBFS in Fedora rawhide
https://bugzilla.redhat.com/show_bug.cgi?id=1599015
Mikolaj Izdebski mizdebsk@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED
https://bugzilla.redhat.com/show_bug.cgi?id=1599015
Jerry James loganjerry@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Blocks| |1639074
Referenced Bugs:
https://bugzilla.redhat.com/show_bug.cgi?id=1639074 [Bug 1639074] coq-8.8.2 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1599015
Jerry James loganjerry@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Version|29 |rawhide
--- Comment #3 from Jerry James loganjerry@gmail.com --- As I predicted last summer, the entire coq stack is now broken in F29. If something is not done about this bug soon, then it will also be broken in F30, resulting in it being broken in all released versions of Fedora. What needs to happen to get some movement here?
java-sig-commits@lists.stg.fedoraproject.org