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(a)redhat.com
Reporter: loganjerry(a)gmail.com
QA Contact: extras-qa(a)fedoraproject.org
CC: java-sig-commits(a)lists.fedoraproject.org,
jkastner(a)redhat.com, lef(a)fedoraproject.org,
mizdebsk(a)redhat.com, msimacek(a)redhat.com,
projects.rg(a)smart.ms, puntogil(a)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:
--
You are receiving this mail because:
You are on the CC list for the bug.