Binaries
agda
(
agda_2.5.3-5_all.deb
)
SHA1: 70558d29fb493c52bad21eb7a206700003b0d515
SHA256: bdc201e6890809ebf0821063a542dc5d9ded2c70d163fc0e122e7d2fb1f9a641
Size: 106,424 bytes
SHA1: 99ff5b1efa8846ff6fe1870ece0dedfb89571b2a
SHA256: 00b01d54418bf6341afa06b9cf77bd69a4e0bfeda6533e4235b979a2b2d88540
Size: 5,956,872 bytes
SHA1: f33a6e66909fe3ba91cefc86369f86b195681741
SHA256: d50915ebf8b107a35607e556e8b9959b2edd38243cefb9170c4544504c4e7ff9
Size: 106,016 bytes
SHA1: 9ab0162b6ebddcd056ede5523964a0e03fe08d4a
SHA256: 7d7dd2298ede9a6b40bbe8434932e30fe7aa48de9480435c9cb11a444e139d3a
Size: 143,384 bytes
SHA1: 2810c54fd0277c21de45d3707ff236d654c2fb8e
SHA256: ef3d3a90e3483b987175cb4f84ceb4803c1e9ec0db7de97b553458443f103103
Size: 15,790,852 bytes
SHA1: f265ded47f8549b83e00bfbce9e25afb093d5233
SHA256: 714c873af8846a0cf63a6400c89089702f027dc8097fceafba78b1296bdaaf52
Size: 2,760,204 bytes