From 15363381fe4518751f00644d945aea54fa17453e Mon Sep 17 00:00:00 2001 From: Matteo Bernardini Date: Sat, 26 Feb 2022 08:54:28 +0100 Subject: development/menhir: Added the dependency dune (removed ocamlbuild). Signed-off-by: Matteo Bernardini Signed-off-by: Willy Sudiarto Raharjo --- development/menhir/menhir.info | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'development/menhir') 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" -- cgit v1.2.3