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

%NAME%
agda

%VERSION%
2.5.3-29

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

%CSIZE%
9027916

%ISIZE%
66513920

%MD5SUM%
0212cf9c537bfaace71f13fecca2beec

%SHA256SUM%
c5cc08543aea51108e88e1cb5dbc788c2e74ae3535dc7176da034b482f63c132

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlrQuiQACgkQdxk/FSvb5qYUYA//b27OrtIRQdUgQO5BNTo8Ow7jtoCLJJOuQYXF2xgOVV21QRkeL+7t1PNEl9APrRRO7T4fnwDZzl3BTWOOXNVXz0rujyn42gra/q83mTQUX80ct6G10Ap0kha5oJtbIt6pC0GS4ynTLRmPnPEiejmnOd2OhoC/Ihy+4FvfdVcP+pbPf/JXTsu/CjGMWZLChT9CTcbBPJrd+ONwNaryCAYk3arSEFBUR0ImOAHIVNkwbmvwgW/3Xgt7uChIftwzeq+8uM6sGUbvhRaSnsZY4Li0+Ja0MDXC74g7/F1w4tFImgZgcDcGMgYbsWsj6zX9zvnCMi2K09gfU7OHYT/9v0bSRuc3Wm0yWBaWCAVLJE+8yst2S3hY9Bmg9sdI+ac1dXyx7z4po63M2fnAoKRezUwo2Urhdato1e2U1rPt/A6NrWFT0UaRdg/XFR6Ze2i9df+c4zFDV1mSBYr0cZyeAPmeJmO4JI1ntpf6Wp+OXwqLRtCBY9TaE+jSxhawzhbN+Ap7Yb28ZydGPnjJITWr2bj1bdL7V4Uva3+k4gv+sfmS7YJ6wOP570GBAr4urpTLALc4k5Bunll5xUBFOetQdUeHNiOmX4zrEXdGrzazvvH0GUHvAOOLUEPX7qH12Eq3uDh1h30FUScDu2zDaGo4EZdYhdSZmDT+oMrIKsfx0kVaGJI=

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

%LICENSE%
custom

%ARCH%
armv7h

%BUILDDATE%
1523628507

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

