%FILENAME%
agda-2.5.99.20181017-4-armv7h.pkg.tar.xz

%NAME%
agda

%BASE%
agda

%VERSION%
2.5.99.20181017-4

%DESC%
A dependently typed functional programming language and proof assistant

%CSIZE%
10748640

%ISIZE%
77800448

%MD5SUM%
4234f2c2e87451d452ea712cea50422e

%SHA256SUM%
cc7acc264850ea41e8337cad6adbc6c3023506996a8d0b9ea0ea46c881dd901d

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvbNWcACgkQdxk/FSvb5qZjAxAAyaGpeorkaWdXoA2Sin+gfwonMdVm020FEsHna2943/WccQ6p3RC0kPXv+Ajb6LraoAsMlZT70JlGGWGerMCfqAnASQbxzvNBOs0Uex2k9V3vU8uHNp4Tco7bHHnOfa8cNVxd4OeQb1iu8AgUVEZKXxo6ljp5k9CeaHMLexIHcwBSr5sN5TvPB8JEjqRfYMJK3zKCyXOenNE/BpNbAVOqgye551w+lROYg88V8TY148XR8nmnIubrcULxpRaaHBZMchZZcvkAqm2rydexPBq/6MeATZU64+N34XBtPj4azzDpZyXOLetfjRLF464JnBsbH26emjlF3Km7PagNdcRRJzgfyq3Z8MorR+ypgGYYRlkyzkr5BQpE4YmIj7269/6uEkHrD7eQaUgR5kEUWMLLHhHNCveADNuYegBCg5v27roUqj2PLOHF/No0OCL0ZCLRSvq9GXPxb8Jo9JZDUWBfyQflHc3rER821NxjovrjHb++PwGQtF2HBniTtVsjP6iZwCSg92IKflFTALj7W62WESBTPMv9WpVhGK1kQ9zqHoKK5PU3BTgZFCLFhcwvvVgCvtdlRcjMWa8MPOjTclUzOlZ3jlkGwmQaB22kYTFXPHBRQIjHf9BNAH0y2o9/VZrt8xNIqeDVUjKvxhpTF6oKFUyl/JDyRaMC1LoLhVQsTFY=

%URL%
http://wiki.portal.chalmers.se/agda/

%LICENSE%
custom

%ARCH%
armv7h

%BUILDDATE%
1541085838

%PACKAGER%
Arch Linux ARM Build System <builder+xu9@archlinuxarm.org>

