Binaries
agda
(
agda_2.5.4.1-3_all.deb
)
SHA1: 475d8f5a85bc01b70c13a26a57ac23870026bb0f
SHA256: b2d1f0fe8a2ed5073f46e332ab5bd32f67f5f1bc591929e7838d2009091c1702
Size: 117,924 bytes
SHA1: 600564526851fe6cebac52117e0e0b2214d5c2a7
SHA256: 240923be29f875d145d32423c5218ef375de6e63c341c6ecbefe707211999c22
Size: 5,869,704 bytes
SHA1: cd57bd5119264b80ceccf5336aecc241a07ed60e
SHA256: 599afcf11f4ff06326b07cc3130f3da23bc3faeea6e518a6e4830d6bfa844074
Size: 117,504 bytes
SHA1: a8bdaab13c54bcfb368adec2104ff41740406a3d
SHA256: c7be6b7a16184960c08e4d7b1d45881e286ee49819c64d1f732f17c4639d9f45
Size: 155,428 bytes
SHA1: f280e00f1ec4e69d7366567ad006c6e9afe57d10
SHA256: 17ec81583eacab87c43e9dca593ef267bd32cefab693fb1281c186cd443f84f6
Size: 17,160,400 bytes
SHA1: 0f9d634385e21138c8840aad948be03300148777
SHA256: 25178c28f288f540615abcec17029f23015c9e655ebb3754b07e4b5b82756e33
Size: 3,789,668 bytes