Binaries
agda
(
agda_2.6.1-1_all.deb
)
SHA1: d1120802710ee19a4ff9a23f742b0d0d2d524d0e
SHA256: 0a7b75a385ade95b5214a81b490fec6e1ad405f8c7635b249584c28e3d650a2b
Size: 28,824 bytes
SHA1: b8fa316867144f47c5df56092bc173cb7fcdec51
SHA256: d541dfedffec482234a64d722bacb91e884a13dae5dea6d9dd63efd1d5cc638a
Size: 8,968,520 bytes
SHA1: 0d8a7f6e1d73c3fee5795f38a805c7a1f80439d5
SHA256: 7b11d64839ff89b1003b356214463d7f565b74c258bb9dd22bc4bb32f01b5be3
Size: 66,936 bytes
SHA1: 5686fe170100c7512add35954bdca551a3588b78
SHA256: 735a62ee4aec4fc43bc16c5871631c3c7f7e807a69f3c4688a081423cc18d28c
Size: 38,091,968 bytes
SHA1: 6ce29680a2d257ee912127d89d0f7566131e77d4
SHA256: 794a514ffbf11334cf50015a46a4dd3bbeab10cb22577384990fffacbc1f930b
Size: 5,888,408 bytes