MD5 (ocaml-3.07-refman.html.tar.gz) = 9ac1f7e9e381b95504f0e7868d9fbf52
SIZE (ocaml-3.07-refman.html.tar.gz) = 475879
MD5 (ocaml-3.07-refman.ps.gz) = 09a9ac4bc1ec90ca4d16743ffbe76c78
SIZE (ocaml-3.07-refman.ps.gz) = 580036