MD5 (ocaml-3.01.tar.gz) = 9359b1d827dcbd40a9321ed389d6a54b
MD5 (ocaml-3.01-refman.html.tar.gz) = ae2e0e385600a6987ecdf1a50dafab53
MD5 (ocaml-3.01-refman.ps.gz) = f8a0b2892f66884480a4a393a1ca241d