diff options
| author |   Matteo Bernardini | 2022-02-26 08:54:28 +0100 |
|---|---|---|
| committer |   Willy Sudiarto Raharjo | 2022-02-26 19:09:55 +0100 |
| commit | 15363381fe4518751f00644d945aea54fa17453e (patch) | |
| tree | 14cfeef5666ff48c8acdfa1f463cdc3b534fa7ff /development/menhir | |
| parent | c0013fd3ede43f4d9cc0f08dbe961f5dabad2cd5 (diff) | |
| download | slackbuilds-15363381fe4518751f00644d945aea54fa17453e.tar.gz | |
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')
| -rw-r--r-- | development/menhir/menhir.info | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/development/menhir/menhir.info b/development/menhir/menhir.info index 9742abbaf6..dbd473b480 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" |