aboutsummaryrefslogtreecommitdiff
path: root/development/menhir/menhir.info
blob: dbd473b48005ee039454ca6ea0d69c1ad69face4 (plain)
1
2
3
4
5
6
7
8
9
10
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"