diff options
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 2f94b577f112..b5ad026c3d8d 100644 --- a/development/menhir/menhir.info +++ b/development/menhir/menhir.info @@ -5,6 +5,6 @@ DOWNLOAD="http://cristal.inria.fr/~fpottier/menhir/menhir-20160526.tar.gz" MD5SUM="0bbffb55c92c3b57e082be9c4b5b2070" DOWNLOAD_x86_64="" MD5SUM_x86_64="" -REQUIRES="ocaml-findlib" +REQUIRES="ocamlbuild ocaml-findlib" MAINTAINER="Dimitris Zlatanidis" EMAIL="d.zlatanidis@gmail.com" |