%FILENAME%
agda-2.5.3-14-armv7h.pkg.tar.xz

%NAME%
agda

%VERSION%
2.5.3-14

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

%CSIZE%
9000672

%ISIZE%
66509824

%MD5SUM%
2eb73fb793d87b1bea8c5bff2007641e

%SHA256SUM%
7a6abcd3235f9f7eb3628e0aa17fbddd21e9e650a7d168f44d873cb2864d18ee

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqArzoACgkQdxk/FSvb5qYV2A/9GFE5J+dLuW1cKNW6lNVaIVaTMZILx1/sGE3I2QWP3LY1OiHhL10EeF9PF8NbfqXJ4Aw1DApN3TspPlsfFxYJv0WhoJweZ0jPNeCQ4l/ZCWbXy3clQH9z81SLUI3I376DjYQuCcC+LpkYOx8xIaZH+g1buI4g78H9T/hufBetzM9x84m8wHeEuNJUhVjPE/qmB49eQB2eMd7WE/A5S2TVnYJkPB0gHJPtFsKX07w92+qVC3vZ+LEWPdboLQAxaRVxbG96YWHCFBrwQFoEkUI3o5sOSYRiLEf20xhgEAKmfZd5gqhzOAl7Wg4XHgvBYvd5ELe9CVVJ5xbE55CBG7k3MKMXGMLD2ItxluK99LZsg35He0d4IGrWtBMvKF/AWBr790ykCEoDqTeoBG8MfzzyUjwHgrTialoduOQ9SvB/j5HqkL3wEQrCa/36Ie8CLn7dklMcdpRL2LM1N8PhZnbd18oQkYPG9cGstYEd11iy0tZUz3/uBsOqr4y+22nJlthOLOicmwqOxK8QA4wfNi/MZqCdnoa8OcqBMpznvCFDlXA6HT4XVJIoqne1wYuMhj9kfc4OmBQGYcOCb6NofIWJIlyzSVdvTJsAYKO3byG6MRgt7jKtE18CU4fvnYNOvlKpFjRJbJjEIUSlBo/JPJDieQ/0ZEZyA5wLWrTTa/frEYA=

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

%LICENSE%
custom

%ARCH%
armv7h

%BUILDDATE%
1518382839

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

