aboutsummaryrefslogtreecommitdiff
path: root/development/menhir/menhir.info
diff options
context:
space:
mode:
authorDimitris Zlatanidis <d.zlatanidis@gmail.com>2014-02-19 23:30:04 +0700
committerErik Hanson <erik@slackbuilds.org>2014-02-21 14:41:02 -0600
commit4f35a1144bd059f1e2a3c57165f80592030e8cac (patch)
tree83e5745165a2c5afd5db82b736438e107a5856d8 /development/menhir/menhir.info
parent4c25b24b71c681867dd954e50997eab84d2801fd (diff)
development/menhir: Added (OCaml parser generator).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/menhir/menhir.info')
-rw-r--r--development/menhir/menhir.info10
1 files changed, 10 insertions, 0 deletions
diff --git a/development/menhir/menhir.info b/development/menhir/menhir.info
new file mode 100644
index 0000000000000..b6f41b46adc8f
--- /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"