diff options
Diffstat (limited to 'development/menhir/menhir.info')
| -rw-r--r-- | development/menhir/menhir.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/development/menhir/menhir.info b/development/menhir/menhir.info new file mode 100644 index 0000000000..b6f41b46ad --- /dev/null +++ b/development/menhir/menhir.info @@ -0,0 +1,10 @@ +PRGNAM="menhir" +VERSION="20130911" +HOMEPAGE="http://cristal.inria.fr/~fpottier/menhir/" +DOWNLOAD="http://cristal.inria.fr/~fpottier/menhir/menhir-20130911.tar.gz" +MD5SUM="66374f3626f9403b37eed43819210113" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="ocaml-findlib" +MAINTAINER="Dimitris Zlatanidis" +EMAIL="d.zlatanidis@gmail.com" |