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
