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