Binaries
agda
(
agda_2.5.1.1-3_all.deb
)
SHA1: 26cf65da8def8a3737e546780fe7f7e13efd9851
SHA256: 85669bfaa24c8bf6ce37366980846ac033990e8d4c008721e262151a8bda0214
Size: 80,150 bytes
SHA1: 0e549d4c9e5e850ae1163745e08b9883e70876a7
SHA256: 4361eceef8e78168a14f54309e63e9eb1eb92ac59a9844a6a8d2913e0ead0e25
Size: 8,486,184 bytes
SHA1: db2e9331d49518d4e956f92ba4665835b4cbf638
SHA256: 6576531b20977a29d1b1c83164a749f2239e7ab672706c9ca491007381798aa8
Size: 79,730 bytes
SHA1: 5a3f56209458aee27834af8b5c483bb9b3e93dfa
SHA256: 0ef6dccf0bc2ff1dd11994a0e7166b6fad9996a56a2248541db907eb47217bfc
Size: 115,280 bytes
SHA1: 4fec3a9f876acd08944121c7904e07640340f4ef
SHA256: dd837727c5862abb4040c4526cd9e7039383cf637b2d39a8c8ec11f2220fe518
Size: 19,838,234 bytes
SHA1: 9403eae93ffc16a80f93020e7463ef99c6517fd0
SHA256: 8a8ca89bc08687d656cf75d1dbedd717840ca004667e9ebaf1581bcbd4b72734
Size: 2,655,422 bytes