Binaries
agda
(
agda_2.6.1-1_all.deb
)
SHA1: d53b5a948cdc4218d1039099ea5a0e73b4853941
SHA256: 300f1833d3d06d35d32461b554fcd99104736471cbefa9379b9f4a7daa29091b
Size: 28,936 bytes
SHA1: bdf710fa9671980618ee633f7151a4bc9ea78e93
SHA256: d84b72c4135ac2a15cf6df1916bd5b7cc00493c9969c78541c8c4fb963e50a58
Size: 8,910,652 bytes
SHA1: 3b2d5b0dae443fbda8f46fad5556d6053a673531
SHA256: 0414d5d3e02a6f310ec608ae0e10e5ab57b595b924ef628926d7e4f528dfc573
Size: 67,052 bytes
SHA1: 1f165abc5cb95a9e1f0ed178bc5e37f145705f21
SHA256: 0d1140bc591c10f31fa047925a7cee1df942b61b3f2d5b547b0e4cc665641f12
Size: 37,935,200 bytes
SHA1: 1e77c09609570da036d197f49822ac9ac5686838
SHA256: a439a967e6ab3f4aaca1f2d12bbcf9f475ddfefbe9969132efa08e56da5bb65f
Size: 5,913,296 bytes