MD5 (ocaml-3.10-refman.html.tar.gz) = 663b31c8ea364a531aa325a5b06a2763
SHA256 (ocaml-3.10-refman.html.tar.gz) = 9c4717a8d52a3d2a29792301b98a14e22ea249e1b958dada46e87a01a795ccd9
SIZE (ocaml-3.10-refman.html.tar.gz) = 518472
MD5 (ocaml-3.10-refman.ps.gz) = 69c7acc08ee182c97089fe0736c04e37
SHA256 (ocaml-3.10-refman.ps.gz) = a101d36a7052054ea6b0aff098a762aa71155dda0724b6ec7d51e76fe0b5b66b
SIZE (ocaml-3.10-refman.ps.gz) = 791551