Binaries
agda
(
agda_2.5.1.1-3_all.deb
)
SHA1: 1fc52db03bec9b5e6074d1647446b07444de67b8
SHA256: 0db1fcefa8d51ef0a62dd13e4b0e646badfdfac368c8e94fd9c361ab99d3aa48
Size: 80,252 bytes
SHA1: 28b1e1a0aee7d856b3804d5dfb13b4d3733461cb
SHA256: 15df0f1b1d0cd2b0125e45e3d9099e1711337d20b0cbb0809e12edd421fcfd8a
Size: 8,488,820 bytes
SHA1: 2b0afed51b5f51c977037e8d8dd9ed329cc45a9c
SHA256: 6094cb2a0ef160b84ddfdb671e1bfcc08a142053fd2771e07f4beb4ce4fac6b0
Size: 79,830 bytes
SHA1: dc14c8133fab41add76a91c3c85b881b4cd0b192
SHA256: 27a9ef5c44828a39410aa15c5f3c6628067372b542937e2dac55df8dc374cec9
Size: 115,432 bytes
SHA1: 6e9e3526c6839a4686fe60fe6b800c2f99b4b4a9
SHA256: 1b636169095e7121d3247fd1e684f3da2a6c9df18441447af69d047327bf9f91
Size: 19,834,038 bytes
SHA1: 93fbea13654bbfd73b08e221944dee7aab092c14
SHA256: a026a7bd26f4cc087295a96633c3c9c23dc2af2c2f6be9c310267018d088f378
Size: 2,655,662 bytes