http:
  "https://gitlab.inria.fr/fpottier/menhir/repository/20170607/archive.tar.gz"
checksum: "8d632ea40799f6307c07a94b7b195d76"
