/coq-*.tar.gz
/antlr4-python3-runtime-*.tar.gz