PRGNAM="menhir" VERSION="20190924" HOMEPAGE="http://cristal.inria.fr/~fpottier/menhir/" DOWNLOAD="https://gitlab.inria.fr/fpottier/menhir/-/archive/20190924/menhir-20190924.tar.gz" MD5SUM="69b2cbcfb12ca0ca09ad0096c8716265" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="ocamlbuild ocaml-findlib" MAINTAINER="Dimitris Zlatanidis" EMAIL="d.zlatanidis@gmail.com"