Binaries
agda
(
agda_2.6.0.1-1_all.deb
)
SHA1: b683573fdd91bca01beff843bba7201e60279bf5
SHA256: 6ea9e1d77bbd4a7b20d3845568bef38da74095c5e66c5a2c9d13ffe380738844
Size: 131,364 bytes
SHA1: cedf6fccb54808bd2716f5a31e73cfc96aee9647
SHA256: 86ff8a14a8ba90d3a618caed0fd1d7d9b245d391ba7a650f4a27c943c2519829
Size: 6,700,008 bytes
SHA1: 63e4bb3d1c1c50a8d6ce24cfd8d4e1ebf307de15
SHA256: d9a35d858ed56d893066f043ac7ded200d5924b0ad5a3386d8cd6966d5a4109e
Size: 130,948 bytes
SHA1: 268be99e396e5a08d09517caa368c25a08c2dd95
SHA256: 1c03ba09234ade23d467f388f9f114a6dd7249f4ffa92eba31ccba8b5315fc2d
Size: 168,508 bytes
SHA1: 62ea1900f8fcbbca3ad0bec465f316de908943d1
SHA256: faa680c8914e94cb3f4754f28cc8a7b1afd4e7210f6370912f9da4c61598d2ad
Size: 19,809,552 bytes
SHA1: dd18eb021c27572ea8388d00f2a017a52634ba68
SHA256: f2022fbf61f3a48c5bb22ea096ffb6723c3553b1b690eb2b9f2c5965f1e2d3d8
Size: 4,342,556 bytes