Binaries
agda
(
agda_2.6.1-1_all.deb
)
SHA1: cea1b4dd55091c7a7372db19f15c6df7eba6c632
SHA256: 62316c64b4dac8dbbf22a4c3651a7645765edd35744de83fb169a5b74727925f
Size: 28,840 bytes
SHA1: 872dd0aab1176c6015fb056a31eeee6d2b326c25
SHA256: 3834565a451c9cde06b964bb4e7c27790cf59ec72ea7a5c245d8a6049510f38d
Size: 8,909,528 bytes
SHA1: dc21d394cb8d5da58e96b7e33305fc81f70daf63
SHA256: de71f9c87fb8e919e46bcf6c9bc0c572701f01ee88ba98d21e44c937eddad094
Size: 66,960 bytes
SHA1: 08637c3aab803441a55779cad4dfbbe929aa5b58
SHA256: df0850cdc5fcd454f8ddf6a2caaaf24389cbcf9e5b197014f46e44bd80392d00
Size: 37,945,460 bytes
SHA1: da16932a2ca9b5aa31e748b43e4203e560013664
SHA256: 246972484ca0d7673784e8ce52e3a24794189a6a5bc2a9a9ebcba1e4851c3e03
Size: 5,913,052 bytes