SHA512 (Agda-2.6.3.tar.gz) = 005152c19b05d858a54d146b75c9a88bf87e7d1cbcaee237ea92f273c8c59e9cf7177d6d553ddf6246a74c7ab318ceac909c0bb981599fc5bb156a7b79d1234d
SHA512 (murmur-hash-0.1.0.10.tar.gz) = d6d28fcd738de98ce4fb6c7e997b32bb15eef9efe53642cefffd2cfeccd1b56f634adbcadeec9fb94c69d1df9e675f7daf368c62806ef819dc242df947ddf70b
SHA512 (vector-hashtables-0.1.1.3.tar.gz) = 3c33b975c56a8bed22475489542f9500fae965e6104433432cbddf8c2106ad0ee87b792850da3f3606f6d30abf21b851e6e50901db556e87acdbd98ec70330a1