From 37498e325fe958c6948fae9ee70e16ec9427d9a4 Mon Sep 17 00:00:00 2001 From: Matteo Bernardini Date: Sat, 29 Feb 2020 10:21:37 +0100 Subject: 20200229.1 global branch merge. Signed-off-by: Matteo Bernardini --- development/camlp4/camlp4.info | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'development/camlp4/camlp4.info') diff --git a/development/camlp4/camlp4.info b/development/camlp4/camlp4.info index f7192e0340..1fa1c27557 100644 --- a/development/camlp4/camlp4.info +++ b/development/camlp4/camlp4.info @@ -1,8 +1,8 @@ PRGNAM="camlp4" -VERSION="4.03_1" +VERSION="4.08_1" HOMEPAGE="http://caml.inria.fr" -DOWNLOAD="https://github.com/ocaml/camlp4/archive/4.03+1.tar.gz" -MD5SUM="65ece8d2c8f4b1e06d62323e78759a7c" +DOWNLOAD="https://github.com/ocaml/camlp4/archive/4.08+1/camlp4-4.08-1.tar.gz" +MD5SUM="7e09e32fdfb185050f69cb2f1e77bf8a" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="ocamlbuild" -- cgit v1.2.3