diff options
Diffstat (limited to 'development/dune/dune.info')
-rw-r--r-- | development/dune/dune.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/development/dune/dune.info b/development/dune/dune.info new file mode 100644 index 0000000000..7b6640cba2 --- /dev/null +++ b/development/dune/dune.info @@ -0,0 +1,10 @@ +PRGNAM="dune" +VERSION="3.0.0" +HOMEPAGE="http://caml.inria.fr" +DOWNLOAD="https://github.com/ocaml/dune/archive/3.0.0/dune-3.0.0.tar.gz" +MD5SUM="14cc07bdb7c2bc856e5e5b2c46cc4ed5" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="ocaml" +MAINTAINER="Matteo Bernardini" +EMAIL="ponce@slackbuilds.org" |