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:
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.rpm http://jamezone.org/pleasure/software/Fedora/string-template-maven-plugin-1.1-1.fc29.src.rpm 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.
This bug appears to have been reported against 'rawhide' during the Fedora 29 development cycle. Changing version to '29'.
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?
Due to inactivity on this bug, I have bundled the necessary runtime with coq. This is wrong and stupid, of course, but less wrong and stupid than continuing to let the entire coq stack stay in a broken state. When some maintainer fixes the antlr4 package to contain the runtime, please comment on this bug and I will, with great gladness and possibly even glee, rip it out of the coq package.
This bug appears to have been reported against 'rawhide' during the Fedora 30 development cycle. Changing version to '30.
As new maintainer, I'll take a crack at this.
It is now part of the new antlr4-project package. Please retire the existing antlr4 package. Thank you.