SHA256 (ocaml-3.12.1-refman-html.tar.gz) = 84b9d793de25c75d4a3b7cd207bc17ddcf010c8a74296ced74c55814f6d038a1
SIZE (ocaml-3.12.1-refman-html.tar.gz) = 526923
SHA256 (ocaml-3.12-refman.ps.gz) = 6ce6338bb6bb88c59461d32d02febf2a2b378f0805ef0d827114b0dcef2a05c5
SIZE (ocaml-3.12-refman.ps.gz) = 966339
SHA256 (ocaml-3.12-refman.pdf) = 436f342c466a74a45879f1a11d7534f4eacc2fe6b746aa8e08c81be27fa1d5bf
SIZE (ocaml-3.12-refman.pdf) = 1307403