MD5 (camlp5-5.12.tgz) = 28a86d4f1da8983b7fc773262fa52f1f
SHA256 (camlp5-5.12.tgz) = 985a5e373ea75f89667e71bc857c868c395769fce664cba88aa76f93b0ad8461
SIZE (camlp5-5.12.tgz) = 685032