Binaries
agda
(
agda_2.6.1-1_all.deb
)
SHA1: 68c7c23524cf6e237dec71cefd4b62dc4c5cece5
SHA256: 7e1e6c9aa12fadba7154385cbbe6bed2e0a066dd8b22ef2b918776bef8987856
Size: 28,912 bytes
SHA1: 8e85635081c73a077fefd1907038b7c8c13dbd25
SHA256: 49cd3aa36bd453038b2a31c9ae7f5b711c1bd12ab9ed2518f2e5872872a259ee
Size: 8,910,584 bytes
SHA1: a52627d29b8907abd0f15657b4491454133e4eb1
SHA256: 2ac053eec8d85812a5db39de38b59bd2eaeadda4b771dd996fc2d082a6f9b87a
Size: 67,024 bytes
SHA1: 5c30cf9ae7597af4f5257058a0dcb13eb5770776
SHA256: 0421e2ea5a7b1557fbfec1b33c18d5e19471dffb843cbe6270a7126f6fab6134
Size: 37,936,156 bytes
SHA1: 3770da3bf0cb0351b66299cb877c09a833b18832
SHA256: c7a489f3dd7a2d15b090413b31940d3c62aa9e9ef872fa021d3ee7c66c1f71dd
Size: 5,913,332 bytes