archive: "http://gallium.inria.fr/~fpottier/menhir/menhir-20180905.tar.gz"
checksum: "1271e9ce3d3cb56581fa45e990b70679"
