MD5 (ocaml-3.00.tar.gz) = 7156d619d8e2aea430e0df9b1bab1b52
MD5 (ocaml-3.00-refman.html.tar.gz) = 785ac165cc61ee8413a67399a3a2002e
MD5 (ocaml-3.00-refman.ps.gz) = 3857d22c9b14d9ef2ef4ed41a9f0f02d