Binaries
agda
(
agda_2.5.1.1-3_all.deb
)
SHA1: 1104e3ed34aa7f44762c585561eaf56def9c5f00
SHA256: be045083f927cc0d9ea29a1ce2bc7b73b0154068534def87cae1d8d4a81a1cdd
Size: 80,182 bytes
SHA1: 8b6213b82f0b22faffb41d96ed77d875f630aae8
SHA256: 55c2fc4a510857bd5a087c552d10a146398693c2afdcd0ec7a02b5264803cdba
Size: 5,219,040 bytes
SHA1: 67678ccf71d85feeb103a056a9fa713376f257b1
SHA256: ca16a3fb8d8457a9279d7f67e72556e7ad94f5982417b509909018a22fb7a9ce
Size: 79,762 bytes
SHA1: 26facdf598a848a850579f320684a340d144fc9f
SHA256: 75f43c23286364fb4c22acd796e490894c0c61ac6c017efb108c381104db6f1b
Size: 115,364 bytes
SHA1: 1915d82f0d721d97f6dd8a5cc1573ae75a62d59b
SHA256: 5af57820941510ace2f0107abf1dff3cfde5030d6c451c2f539720b53843d252
Size: 13,240,108 bytes
SHA1: d4eab9817c3671853bf0e400f1a4d070f6439ff9
SHA256: 96b15e9b7fa31ff9e81b910e4e1ddf9faa1c0890e6ac456f7d9af63aefc1d2cc
Size: 2,655,546 bytes