Binaries
agda
(
agda_2.5.3-3_all.deb
)
SHA1: 92fdb8652ef5946941ec28fdea07ad0725ace59a
SHA256: 5dedf1e3d5b2d2aa0d36b696b246e9f5ae2410121ad04357a3b7acfc2edb8959
Size: 106,356 bytes
SHA1: 1da7f253ae0c17dcccaf61b6825ba319695c25a5
SHA256: 2c88c213b591f068c6481dac15666a98fb27d68847f9b430b304d6a8ce491dbf
Size: 9,230,344 bytes
SHA1: 86ded70355caa261942121aa1b14b66e75a7b29d
SHA256: fa0d8d3f80aaa711e967c51fb2f24a4d5e475442ce8f31993fc240078fc4c7f6
Size: 105,936 bytes
SHA1: e526286061c5ce62e05f96baa101e326b07a4d3b
SHA256: cc933c6bdb0430496efde5dcb33d31c618a844e6790ed2c57687982535483b46
Size: 143,300 bytes
SHA1: 732e84cefe4062329926fad124b802bbce44b75d
SHA256: d5e3046e64cb6a78a7f57f74c40df4edb980de7134cbcba5d444137eef4ede0f
Size: 23,946,572 bytes
SHA1: 1fa3a7797c32644f6a5dc437d36f13ec8804ffcc
SHA256: d5218d51340d99a56fc1a3027b7302a1bd450d513ae9d24309a30c221603438e
Size: 2,862,896 bytes