SHA256 (ocaml-4.01.0.tar.bz2) = b1ca708994180236917ae79e17606da5bd334ca6acd6873a550027e1c0ec874a
SIZE (ocaml-4.01.0.tar.bz2) = 3691090
SHA256 (ocaml-4.01-refman-html.tar.gz) = 01019c8f8a29a8a7f422e090704b666ade2a007d57ea9412285f88f716656001
SIZE (ocaml-4.01-refman-html.tar.gz) = 571422
SHA256 (ocaml-4.01-refman.ps.gz) = 4de67ef967b8b39a6f030df258087239d6f7dee869a3973d7a782b7986b809c6
SIZE (ocaml-4.01-refman.ps.gz) = 1089703
SHA256 (ocaml-4.01-refman.pdf) = 389e434f534153530ba234299d0f3a0e4271d18b091b9216e4a37335ebd33424
SIZE (ocaml-4.01-refman.pdf) = 1478900