Binaries
agda
(
agda_2.6.0.1-1_all.deb
)
SHA1: 00c88633ba9ff2aa9c4709f4bc35c766bccaca28
SHA256: 88ec48f34de72350a8133a7722797f5beff34466ac26dd713c9943e859d15882
Size: 131,244 bytes
SHA1: 7ab79d1cb7506e8eed338720cfa63a59b8f109dc
SHA256: 11822d696d9e0e67389c2e0c67fb8fa0a857d156bee0ee49526d1092c3f43f8c
Size: 6,769,036 bytes
SHA1: bafe173bb4140ab05510e7989846ee8139dd4d32
SHA256: 97adf155e67fe4a822b1448214ac361a56466a35cf249cbffee33e59d8bb5b32
Size: 130,828 bytes
SHA1: 360fdc2afb5e9f43ee2efcf9b938f41f825e5335
SHA256: f5d123a847a57bea5b4504c721d84efbae6daa5be3146bead859486a38000dec
Size: 168,408 bytes
SHA1: 5df3fc8337fcecdd42fa450c1bc0994af33ad42e
SHA256: 864afd83299cce9b0df8735e9d63c7f9ace35d9c26efdb63bb326b6f94335d51
Size: 19,521,488 bytes
SHA1: 4dfa1edbf37535c6f634ef40805938ef2e39464d
SHA256: b89ccea759f894dde5ad396fc79c0fbf325ee93b7a8d9d203f41f281912043c8
Size: 4,321,040 bytes