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