MD5 (ocaml-1.07.tar.gz) = c5bf08086a866b80f55a91a4468f20b7
MD5 (ocaml-1.07-refman.html.tar.gz) = 045be9ae7ca6c19a34bc1912b4d7f272