SHA512 (Agda-2.6.4.1.tar.gz) = b26819c0f08e9db10bc50cec3bffb322cb6b106f4661c57132948ae2f8b8378520ab475173ae56c5e6876ef08ca4e3806960bc7dc69ddf99bca041f44c653f1e
SHA512 (murmur-hash-0.1.0.10.tar.gz) = d6d28fcd738de98ce4fb6c7e997b32bb15eef9efe53642cefffd2cfeccd1b56f634adbcadeec9fb94c69d1df9e675f7daf368c62806ef819dc242df947ddf70b
SHA512 (peano-0.1.0.2.tar.gz) = 1fbdb2d82674da7c4350797f2557c58b5302396b68f3debaae0c255e1c22d2c766b1da6c38e9b5ba673e823e5511b7bf9a3107bcabcbd375a325c736c9e9908d
SHA512 (vector-hashtables-0.1.1.4.tar.gz) = d04bdd5c548ea682e88a6af38d8c838801c1ba4666f2fd4c721755a556e3e37b5b6879ec72baf577db0098a96dd135463e9cb879b9276672b04518e46daca8ab