MD5 (ocaml-3.07.tar.gz) = 2dd038055f5e1350078ad81270411b78
MD5 (ocaml-3.07-refman.html.tar.gz) = 9ac1f7e9e381b95504f0e7868d9fbf52
MD5 (ocaml-3.07-refman.ps.gz) = 09a9ac4bc1ec90ca4d16743ffbe76c78
MD5 (ocaml-3.07-refman.pdf) = 462d6ed15dd6fdd659413ea3956a2403
MD5 (ocaml-3.07-patch2.diffs) = f91d1f1e531f77011bd554817dbbc12a