diff options
Diffstat (limited to 'development/camlp4/camlp4.info')
-rw-r--r-- | development/camlp4/camlp4.info | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/development/camlp4/camlp4.info b/development/camlp4/camlp4.info index f7192e0340..ff3ea7ae71 100644 --- a/development/camlp4/camlp4.info +++ b/development/camlp4/camlp4.info @@ -1,8 +1,8 @@ PRGNAM="camlp4" -VERSION="4.03_1" +VERSION="4.13" 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.13/camlp4-4.13.tar.gz" +MD5SUM="1906ee8cc2e7665e98782187b7128867" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="ocamlbuild" |