Binaries
agda
(
agda_2.6.1-1_all.deb
)
SHA1: 172a23c1c46f0d6aa310d5f5a0a545c53d70874b
SHA256: 96a4fb565964837a34a57b8c81c7ea858f743c224c9089a4c35646e7a72a8d96
Size: 28,960 bytes
SHA1: 959092de2e477d7320bda5ae842c96148b911681
SHA256: 4fd6a175c587ba64c032e3dd71bd39a7fd360aa3a9596da3e78e05b905afc142
Size: 8,910,672 bytes
SHA1: 15f287227517df8ea113e9e2ba6e3ee1c224f804
SHA256: c2074a2c7e989f9fba841cc9dbd50db6c6b777695bbdd5609527a417ce05c550
Size: 67,072 bytes
SHA1: 3e5a898067f60d643be81f851cb84cb2a41d60d9
SHA256: cbf0eca5384c5839ed14071231c9f4b913ba635887ce8243c24e4f7ee28d032a
Size: 37,934,944 bytes
SHA1: 235f1047da8451b51d5b00b0c5a4d02234837ded
SHA256: e2cf28b5785dd3e6d25a0d7a5ad126f58071d0bb5379cfd48e9ab85f8649357f
Size: 5,913,428 bytes