diff options
Diffstat (limited to 'lang/ocaml/distinfo')
-rw-r--r-- | lang/ocaml/distinfo | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lang/ocaml/distinfo b/lang/ocaml/distinfo index 087d43a2ab74..c38cfec94118 100644 --- a/lang/ocaml/distinfo +++ b/lang/ocaml/distinfo @@ -1,3 +1,2 @@ -MD5 (ocaml-3.11.2.tar.bz2) = 4601a7aea66444d61704de8de46c52c6 -SHA256 (ocaml-3.11.2.tar.bz2) = 86f3387a0d7e7c8be2a3c53af083a5a726e333686208d5ea0dd6bb5ac3f58143 -SIZE (ocaml-3.11.2.tar.bz2) = 2346284 +SHA256 (ocaml-3.12.0.tar.bz2) = 17811756209ec9658e1027b0d3b8e5dedb772ca1c43e0bdfa630a2a183ffec3b +SIZE (ocaml-3.12.0.tar.bz2) = 2639049 |