From 24d138810ffcc8f587a8b5738055b391d5557876 Mon Sep 17 00:00:00 2001 From: Matteo Bernardini Date: Sat, 16 May 2020 08:40:20 +0200 Subject: 20200516.1 global branch merge. Signed-off-by: Matteo Bernardini --- development/ocamlbuild/ocamlbuild.info | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'development/ocamlbuild/ocamlbuild.info') diff --git a/development/ocamlbuild/ocamlbuild.info b/development/ocamlbuild/ocamlbuild.info index 62fb240875..4012566025 100644 --- a/development/ocamlbuild/ocamlbuild.info +++ b/development/ocamlbuild/ocamlbuild.info @@ -1,8 +1,8 @@ PRGNAM="ocamlbuild" -VERSION="0.12.0" +VERSION="0.14.0" HOMEPAGE="http://caml.inria.fr" -DOWNLOAD="https://github.com/ocaml/ocamlbuild/archive/0.12.0/ocamlbuild-0.12.0.tar.gz" -MD5SUM="442baa19470bd49150f153122e22907b" +DOWNLOAD="https://github.com/ocaml/ocamlbuild/archive/0.14.0/ocamlbuild-0.14.0.tar.gz" +MD5SUM="a7bf2fe594cd16907807c756b14d501f" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="ocaml" -- cgit v1.2.3