Binaries
agda
(
agda_2.5.1.1-3_all.deb
)
SHA1: 19a26ddf8fef7ceb2abd96c247f18d7aca021696
SHA256: 2968174d471f945c3f7bef6e843a8a1562d092828b697ae40a089bb9b2076532
Size: 80,190 bytes
SHA1: 632c329058f92ce547d5eb9c83b75b398e3b2d8f
SHA256: eac10cdd6345f153edf329dd7c7696dbc0b32f0722840fdf9488d46475c25a5f
Size: 5,219,530 bytes
SHA1: 7786a5be074579ff2f13298d37c3b9180df6670d
SHA256: be6bfb02f4a60c5e9526142892d1e84b1d2e5928d1b30dd67510828f298104ec
Size: 79,756 bytes
SHA1: 81b26e6f3954bd8082c1c7269c1946dfe8e3a3d2
SHA256: f2c2f9210480504c58d88be451ed9646b16dd595e61f35629b7b1a52afd297c1
Size: 115,372 bytes
SHA1: a3fdb09aec88ef27334ddc9d29c1e21339c32292
SHA256: 53e7e5ed7a44caa4928a84797526b8491233032de1c88e3ce92cd8b63164f9eb
Size: 13,240,534 bytes
SHA1: a001aae0a246222ed7bdc0768413feb09609b936
SHA256: d03954762e8a5c77c6000c0b6855ca95137c7382a9e23d7619b58d72bcfcdc65
Size: 2,655,498 bytes