MD5 (ocamlduce-3.08.4pl3.tar.gz) = 16e69929c9fbe57642dd700bb595360e
RMD160 (ocamlduce-3.08.4pl3.tar.gz) = c8e147c6b5a3883280b20b9717c189fbd570fa0c
SHA1 (ocamlduce-3.08.4pl3.tar.gz) = e93dfe87b853573d6c5a72824131a9ae78a59a30
SIZE (ocamlduce-3.08.4pl3.tar.gz) = 3079977
