MD5 (happy-1.13-src.tar.gz) = d17619ae6e2caf883651d88be38dfd8a
MD5 (happy-regress-1.13.tar.gz) = bb89554af5dbbd72946b8c2299bd873f
RMD160 (happy-1.13-src.tar.gz) = dd70a56632ec0419a79ac3c70d95361adfa566e4
RMD160 (happy-regress-1.13.tar.gz) = b8f72a8edcf088a3242189b66ef037d9593a12c6
SHA1 (happy-1.13-src.tar.gz) = 1a030727a5d5b6be45fd64e2cb308c612d1169fb
SHA1 (happy-regress-1.13.tar.gz) = 85bfb540b27a18e84d8b5d3bf29fba52cadf01ff