SHA256 (ocaml-4.02-refman-html.tar.gz) = HTt+VJTAddhsdg9jIKy6CG1obnQJy3X4JnvM+2rV86g=
SHA256 (ocaml-4.02.3.tar.gz) = ko+19k9OFBmAulZ/9Xti2Nx7lRtYvpWQ/7G+IXKIenI=
SIZE (ocaml-4.02-refman-html.tar.gz) = 612839
SIZE (ocaml-4.02.3.tar.gz) = 3108892
