Le 05/09/2025 à 12:41, Alexandre Detiste a écrit :
Hi,antlr3 is now the very last user of maven.mk To get a bit further with this I vendored maven.mk here and will remove it from maven-debian-helper after this successfully build.
Do you mean that could copied maven.mk into src:antlr3? Emmanuel Bourg
