SHA256 (ocaml-4.01-refman-html.tar.gz) = AQGcj4opqKf0IuCQcEtmat4qAH1X6pQSKF+I9xZlYAE=
SHA256 (ocaml-4.01.0.tar.gz) = 6hdR3v9FT1xzjRDYoK0TWv7ghS05HPlXZrcmwPr3z9s=
SIZE (ocaml-4.01-refman-html.tar.gz) = 571422
SIZE (ocaml-4.01.0.tar.gz) = 4397871
