diff options
author | Matteo Bernardini | 2019-12-07 20:10:05 +0100 |
---|---|---|
committer | Matteo Bernardini | 2019-12-07 20:10:05 +0100 |
commit | 5f19f8726f156f4cd3b7d127397e160af9594912 (patch) | |
tree | 675329b559b4604cc778e4db2d228eec26fb447d /development/dune/dune.info | |
parent | 4b7b01aae75cc2cc8db1eedc90b43f8400bef53e (diff) | |
download | slackbuilds-current-20191207.1.tar.gz |
20191207.1 global branch merge.current-20191207.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" |