Binaries
agda
(
agda_2.5.2-2_all.deb
)
SHA1: 844e6df96af6ce629f64e73c9cc6aa80ef005778
SHA256: b015a10ceb190403ac0c69b3e31d562bb351de055b1e18e44caf41a07aa07e42
Size: 93,204 bytes
SHA1: 708b451858ae6d68dd997ba6d6ac8e23182c2b46
SHA256: 2ea153f904b5eb640630d2d9c9822d7e47886b70a0e92c5e3343e92489f32137
Size: 5,054,468 bytes
SHA1: 443ade2734b42f404c0124703e66c3a04df530fa
SHA256: b3d487ee93039e25a94a48f90f571acf8a4388561d33e4600b0e627d4c17e537
Size: 92,780 bytes
SHA1: 36bb162786c9aea91c0fc0243daea3a6f3fa6048
SHA256: ec702def5ad52c3a5fa21687a19b7dde87fc257709bbfc20c22d3a46bce841eb
Size: 129,446 bytes
SHA1: 283dbc03df37fc740c99e6751bcd2defbddddef4
SHA256: eee5753245e8fdd59142b471d0546a42b7c755710e43cc125aa8386a91746735
Size: 13,319,542 bytes
SHA1: ae8dfa57d3840b9759881c833b2c56db423810a3
SHA256: 99e77189b65f5d4972175e90dc49d7b3ca615a981fff2b46edd32aa91d594750
Size: 2,741,814 bytes