diff options
Diffstat (limited to 'lang/ocaml/distinfo')
| -rw-r--r-- | lang/ocaml/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lang/ocaml/distinfo b/lang/ocaml/distinfo index 21d6180251bd..f13a96235af7 100644 --- a/lang/ocaml/distinfo +++ b/lang/ocaml/distinfo @@ -1,3 +1,3 @@ -MD5 (ocaml-3.00.tar.gz) = 7156d619d8e2aea430e0df9b1bab1b52 -MD5 (ocaml-3.00-refman.html.tar.gz) = 785ac165cc61ee8413a67399a3a2002e -MD5 (ocaml-3.00-refman.ps.gz) = 3857d22c9b14d9ef2ef4ed41a9f0f02d +MD5 (ocaml-3.01.tar.gz) = 9359b1d827dcbd40a9321ed389d6a54b +MD5 (ocaml-3.01-refman.html.tar.gz) = ae2e0e385600a6987ecdf1a50dafab53 +MD5 (ocaml-3.01-refman.ps.gz) = f8a0b2892f66884480a4a393a1ca241d |