Binaries
agda
(
agda_2.6.1-1_all.deb
)
SHA1: 2382b3ea6ba2dd255f1a28ee36f455ea63a55a0f
SHA256: a4a900f8ee00c4f3157b43ea6fb12c136e6e7ea96f6f6d8f6d9c8522ac3ecca8
Size: 29,036 bytes
SHA1: c802484b613119622fd376ea01f39214788770b5
SHA256: 5860e1fe7c72baf427e4bb5b3d2c80ccf46a11a3fdc7aa36107c6c48c37a62d1
Size: 10,368,464 bytes
SHA1: 6a59d55c901e5a7d6399480ae3c6092f1490f950
SHA256: dae91975e90ee525e8f6ffe5b3a00765183b8999c65ccbab783cff66e0b06818
Size: 67,164 bytes
SHA1: de102d1afc7ab6873b0aaaeee64495e72540a017
SHA256: 4ac3e17d17d0d40345a0a9e2ce8c0b2f0fa3b87b752cb757a786302b333449f0
Size: 44,810,760 bytes
SHA1: a4ee96a87a829cda3e7722f322f58eb5a7a585fe
SHA256: 932e42ee32e87c19ea79808cb141b5e0727a355c4b87c25e62e49ab797db1c6f
Size: 5,914,528 bytes