DIST agda-2.6.4.3.tar.gz 1869461 BLAKE2B ed719c8cd49e08c19d4a0ef29ea6b8e946afb7ed510c9dd1b71e55eddc32676d90cb6b6c6fa350c96194147b97b95ab66d48c9648cbb7310c89b379152db7709 SHA512 d6246d1550b535a3f299cbbf8e38b5b44ee469cce089bbec1d6a62a2518bca2d2900a456d6df10a179d7064982ccdc5f38a1ffc53e327c0c4c060c09f8280488
DIST agda-2.8.0-rev2.cabal 34453 BLAKE2B 3d020c54aa99c70118d509f7473664c8d358d14fd66593b743055a5d38fffd8e5060c99b4036f8a19dd49a4c6b2be8d62218e1a6f4300113c1732186ea6ab22a SHA512 f0faa88da0d9328f37bda5e64f2fd8e36f2b17efe25806d3de34f8b1badc513aa73cf78af64a3f111449d529403df16fff5e484da7f85ab5583e7e17104dd74d
DIST agda-2.8.0.tar.gz 1951997 BLAKE2B 82b4e541dde04bc902bedc36aee156380bb66bd5bf5f619d69beabd09fdaab9743e0c9393b8b8204684ef5d3c785be00683910c2d7617ebbad3e9ac1a34afc52 SHA512 53ae24c9759c271251c3c487a27b8600ba55d39391a186684731a1495a744c18ccd4d3deb5e5231f72abb1be95fa8dac2dac8f257612bc32c6f51d2071ae8273