Bug#926134: antlr4: Please package Python 3 runtime
Emmanuel Bourg
ebourg at apache.org
Wed Apr 3 12:30:44 BST 2019
Hi Benjamin,
Le 31/03/2019 à 21:52, Benjamin Barenblat a écrit :
> Coq now needs the ANTLR 4 runtime for Python 3 to generate its HTML
> documentation. Would you be willing to add it to the antlr4 package?
The Java Team would prefer maintaining only the Java part of ANTLR 4.
Ideally the python part should be maintained separately, so a dedicated
package as suggested in #897129 is a good idea.
Emmanuel Bourg
More information about the pkg-java-maintainers
mailing list