diff options
author | Matteo Bernardini | 2020-01-01 17:38:37 +0100 |
---|---|---|
committer | Matteo Bernardini | 2020-01-01 17:38:37 +0100 |
commit | 6ed778974da2cbb6b73ea66a5447d9512f6fa77b (patch) | |
tree | 665223f87657bbf381d630897e66501a4c58e65d /development/dune/dune.info | |
parent | 82bbd880da5d554ddb98a82fcf8c17cc2131d56a (diff) | |
download | slackbuilds-current-20200101.2.tar.gz |
20200101.2 global branch merge.current-20200101.2
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" |