Agda/sources
2021-08-05 00:42:06 +08:00

5 lines
660 B
Plaintext

SHA512 (monadplus-1.4.2.tar.gz) = 839a35b3de1226e177c07e30b86e841ddd19075d3ce29fa7154fefb371d9bef8aa85847d7c139faad93713d5b7889979498097f69c6e3bccfcee2fbbf7bf6539
SHA512 (murmur-hash-0.1.0.9.tar.gz) = 7ec34346d6361de9e9d716d98f207534807faea97c683212e5ab037d2e16f007845eb265dba0e232617a80acc7e37f4238d4424883b975d04057ade595788486
SHA512 (Agda-2.6.1.3.tar.gz) = 2778cde4d73bd1203690ef4bcca00fa62666a2b647f3f78525aa4f610e357663f0e03125415278870d14710916fd6e0534efd8f07cd03b4a93a37ff1ee1bbd50
SHA512 (geniplate-mirror-0.7.7.tar.gz) = 8976e874372e29edb468a07bab5a524173d0daa6d48834349279d6ba0f4a79d890a1be23a7af7cd92485f44df08e9d32c54c4bbd8ae081aba5c705fdc652907e