MD5 (ocaml-3.08-refman.html.tar.gz) = 0daee5643db6960682c1a7d84467885f
SIZE (ocaml-3.08-refman.html.tar.gz) = 488999
MD5 (ocaml-3.08-refman.ps.gz) = 35a5d4318456c0982e72ee3f33364bf5
SIZE (ocaml-3.08-refman.ps.gz) = 585397