diff options
Diffstat (limited to 'development/ocaml/ocaml.info')
| -rw-r--r-- | development/ocaml/ocaml.info | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/development/ocaml/ocaml.info b/development/ocaml/ocaml.info index 8044af5ebf..fc1b7c255d 100644 --- a/development/ocaml/ocaml.info +++ b/development/ocaml/ocaml.info @@ -1,10 +1,12 @@ PRGNAM="ocaml" -VERSION="3.11.1" +VERSION="3.12.1" HOMEPAGE="http://caml.inria.fr" -DOWNLOAD="http://caml.inria.fr/pub/distrib/ocaml-3.11/ocaml-3.11.1.tar.bz2" -MD5SUM="fe011781f37f6b41fe08e0706969a89e" +DOWNLOAD="http://caml.inria.fr/pub/distrib/ocaml-3.12/ocaml-3.12.1.tar.bz2 \ + http://caml.inria.fr/pub/distrib/ocaml-3.12/ocaml-3.12-refman.html" +MD5SUM="227a3daaedb150bf5037a3db01f5bf42 \ + dbefdc669251e67a6b6fdd28fb6c8777" DOWNLOAD_x86_64="" MD5SUM_x86_64="" MAINTAINER="Ferenc Deak" EMAIL="ferenc.deak@gmail.com" -APPROVED="dsomero" +APPROVED="dsomero,Niels Horn" |