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):
Steps to Reproduce:
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.
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.