Binaries
agda
(
agda_2.5.4.1-3_all.deb
)
SHA1: 666cfede770568a2b10f83770d2fb5d5a3803f0a
SHA256: d62d868fc0b448021e79816c330df47edce47c81d99de6afa321ec72f9bf0cd0
Size: 118,216 bytes
SHA1: a89d755024d0f6689066554c086ec5fb782267f3
SHA256: 9f6e57a94191d09b8fa68432dd9c346b5b3080440b952ee5768487028c27f6e0
Size: 6,774,904 bytes
SHA1: 1801d294b1c83c97718c44d19a6bc3d9a194c90c
SHA256: 57cf2ab02b5c9fdeb47f7771559990439bcf4df41d360016a2e143fdbfebe7b4
Size: 117,796 bytes
SHA1: c086ab80ba9a25bb5fd9d70f4a2bfae6ecb110e9
SHA256: bbd0d71b66a37b895c691a47b214a19dd35b2ed92ae3e5b68166b62d40d4e89f
Size: 155,540 bytes
SHA1: eddd611e5ec6b3136aff43eb396067846e3e8f19
SHA256: 19408a9f008c311f253ac2e111fbb2154e76581eb735e1259916c15d92c24d60
Size: 19,729,852 bytes
SHA1: 3adc84df365b8d202fb40f7b24f87a8b36e0e4ac
SHA256: 2927fbdbbed8d8812e8ea4e819c4dfc3f8202e5f9a54fb286e2c874d840b2c3a
Size: 3,791,568 bytes