Binaries
agda
(
agda_2.5.1.1-3_all.deb
)
SHA1: dd9337c18db2ee25278f9aa4090aaf7213c24836
SHA256: 14aab5d183de371faaf2a231da2907ef4b21f0d8dd09c5a9dda93fb5622e89ff
Size: 80,114 bytes
SHA1: 2319ba7ea736f7c7bfea7a83df1abec7208bcccf
SHA256: 10ca2499c96ff7f43a7199d3c44afa2ebc379377af2cf6d8823a0df265d31703
Size: 5,222,988 bytes
SHA1: 81d9d17e7818332a64f55c92cd99f7c89c582192
SHA256: 66e51191f1a803ba759e23321dcabd73806fc018600e0ce0d88809d6f9048747
Size: 79,690 bytes
SHA1: 5507fb7c36d3b254bc9278790db1b952d0366b73
SHA256: ca9a056308482464b3a42ce12f4dfa4b0fa36c8489099b721c09aa149b7930c7
Size: 115,252 bytes
SHA1: 9466b1b7d33be21ede919b290de5d30378aa72a4
SHA256: eb0e94a2ec2462a2d9b8a2f7d9d562cb70199174c9ffb461f0b43815b9518ff5
Size: 13,237,896 bytes
SHA1: 4b74313aed90149b71f30cccd5632626b903dce3
SHA256: 324c775905daff717040fb8bafb3929a73741856e0b79a4c90dbfae64ecdd680
Size: 2,655,396 bytes