diff options
author | Matteo Bernardini | 2019-11-17 09:41:16 +0100 |
---|---|---|
committer | Matteo Bernardini | 2019-11-17 09:41:16 +0100 |
commit | b1037bdb13cfab1a866971d09462ace5cad56259 (patch) | |
tree | 2ede4cb69452c1eff3dbf47b08cf60be0cabeaed /development/dune/dune.info | |
parent | ed263eba8d75390f0e7789cc9e924e1be2584f69 (diff) | |
download | slackbuilds-d315f62840b1feb6f345389df326e7b0ad72d643.tar.gz |
20191117.1 global branch merge.current-20191117.1
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
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..87e20a4d06 --- /dev/null +++ b/development/dune/dune.info @@ -0,0 +1,10 @@ +PRGNAM="dune" +VERSION="1.11.3" +HOMEPAGE="http://caml.inria.fr" +DOWNLOAD="https://github.com/ocaml/dune/archive/1.11.3/dune-1.11.3.tar.gz" +MD5SUM="483164bdca4d0f568f4c95987737899b" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="ocaml-findlib" +MAINTAINER="Matteo Bernardini" +EMAIL="ponce@slackbuilds.org" |