MD5 (ocaml-3.02.tar.gz) = 2184258b41d3975648a4ebbb615c5046
MD5 (ocaml-3.02-refman.html.tar.gz) = b2aeaa11f3ba48d59deb3fe1693606d4
MD5 (ocaml-3.02-refman.ps.gz) = 6dc24a8b1f98b91e7ab8ecd34a90d59c