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 __ This is the maintainer address of Debian's Java team <https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use debian-j...@lists.debian.org for discussions and questions.
