diff options
author | Matteo Bernardini | 2020-01-03 23:09:25 +0100 |
---|---|---|
committer | Matteo Bernardini | 2020-01-03 23:09:25 +0100 |
commit | 95008285045d7130c028d6755dcc2bae5387cb22 (patch) | |
tree | 65f9ab22c4711d52dbe2d3a77112b00e4a8e051d /development/dune/dune.info | |
parent | 66bb71ec178eb531b8a07c19457800341c8f0d9f (diff) | |
download | slackbuilds-84bad2948dd03981e886e67855fbe77fc5d4d370.tar.gz |
20200103.1 global branch merge.current-20200103.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" |