aboutsummaryrefslogtreecommitdiff
path: root/development/menhir/menhir.info
diff options
context:
space:
mode:
authorMatteo Bernardini <ponce@slackbuilds.org>2022-02-26 08:54:28 +0100
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2022-02-27 01:09:55 +0700
commit15363381fe4518751f00644d945aea54fa17453e (patch)
tree14cfeef5666ff48c8acdfa1f463cdc3b534fa7ff /development/menhir/menhir.info
parentc0013fd3ede43f4d9cc0f08dbe961f5dabad2cd5 (diff)
development/menhir: Added the dependency dune (removed ocamlbuild).
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/menhir/menhir.info')
-rw-r--r--development/menhir/menhir.info2
1 files changed, 1 insertions, 1 deletions
diff --git a/development/menhir/menhir.info b/development/menhir/menhir.info
index 9742abbaf62d5..dbd473b48005e 100644
--- a/development/menhir/menhir.info
+++ b/development/menhir/menhir.info
@@ -5,6 +5,6 @@ DOWNLOAD="https://gitlab.inria.fr/fpottier/menhir/-/archive/20220210/menhir-2022
MD5SUM="f7acec111c74555fdb1f2623183e30a2"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
-REQUIRES="ocamlbuild ocaml-findlib"
+REQUIRES="dune ocaml-findlib"
MAINTAINER="Dimitris Zlatanidis"
EMAIL="d.zlatanidis@gmail.com"