MD5 (ocaml-3.09-refman.html.tar.gz) = b25eb211bf91bcaa536b12d12731ceec
SHA256 (ocaml-3.09-refman.html.tar.gz) = 8e4766a4964a4f93ef202bdff907f806d71906d88d660b481e4a95d111ae404c
SIZE (ocaml-3.09-refman.html.tar.gz) = 484037
MD5 (ocaml-3.09-refman.ps.gz) = 598bb8e86329afe1ae374385b2e177e7
SHA256 (ocaml-3.09-refman.ps.gz) = 1056f68e7ed42eeec000905b947ad42144e4c6c8692246add6bfd85c809635e7
SIZE (ocaml-3.09-refman.ps.gz) = 782553