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