DIST camlp5-6.12.tgz 716173 SHA256 b716c8b248289205bc76823000bc0b0988517cfcfd9c2eb1a3c43cc2cd7d5c02 SHA512 33cf0738b0f8f1daad0f40158654c32a7a4b1559671c6f95193a9c71bb0fdb7f8328a3d012c5fdba83fe940882588a6e12c242a7585dd193974d4f7dedbdbc12 WHIRLPOOL 76d1d2c3eaf8781e594a66e50b2b2d2858a11310b7f8ed5f43cfef2d6598acb0ae573a4ab16154d8aee1d51043cc0e7a24fd9c0fb2d92651000a5100d0a9a50b
DIST camlp5-6.13.tgz 719912 SHA256 d1e948c04079e417d2b616f03f57cda9b6111c563d7ce59a8956ac93772e4aa9 SHA512 184280c0de77c72125c82b4ad93cba0af713374838248a3f0250b775a75f1a0a34d3c48a037fb91601d70a637cdf6b005222f866a700bb024c4a0caa8dbc41b7 WHIRLPOOL feef006286a0011157dc5076fb7397a2de651e831ed26a90ed80f1bc3b36f8eb35d2c7fd3eff4a37501a729314e921b7c7aaa7715df8bfba5408976ff28bd127
DIST camlp5-6.14.tgz 748674 SHA256 09f9ed12893d2ec39c88106af2306865c966096bedce0250f2fe52b67d2480e2 SHA512 7dd57b8725953099726fc2e5f6dda01ed74485a4bbf41cb30ccd2163ee38bc6dff36fd83069c58d7990522527d266c9e180a8e333b36a42bc216315dc88a25e9 WHIRLPOOL 305bb842e449775352cbbf3c89a301a188419c10462f0959b00e181596218b5251dac50856f152ad471fd680e557e6595978c395e9c2864c38ddacd7287c4e3b