Binaries
agda
(
agda_2.5.4.1-3_all.deb
)
SHA1: 06f944cae561fdd0c8ee6662f3134040e023e139
SHA256: 6f802a97b25bf8b6a557215f4faecf638646033b82e4e10bd6449bfcc07053ea
Size: 118,068 bytes
SHA1: ed9e53bdfdbff8748dd9d7253bcb89a1be50b236
SHA256: c509eee7be898fed7a9e41c04e5e877ed92cf7a5d4913926386f3282b48527c9
Size: 6,780,620 bytes
SHA1: 9e245a09cb1d5ff39642eb0113188cd4888f35b1
SHA256: 386f044d8dc13ea95541859c56b42eb5ef08f2c44513ae373e48efab0268c158
Size: 117,652 bytes
SHA1: 7eefa2511326c21341a92e54c95d60cb6a10992a
SHA256: 6b757f9b0cb9fa4331e679c3d8cab46aa67377443d3f620df42d267dec499478
Size: 155,560 bytes
SHA1: 89339486c1a98cd7ed4695e4174dd2615bdd3336
SHA256: 908889090c2cdd2c6bc3f6927de2fc2b49beb5d6b2972f2e26f37c9abb8a273b
Size: 19,736,352 bytes
SHA1: 339e89517f2fb9221a634c7b6afc51a35075fed4
SHA256: e40ae8fb108517269db65af096bf2dbc563120329ca8f3a748481120971a5822
Size: 3,789,836 bytes