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

%NAME%
agda

%VERSION%
2.5.3-6

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

%CSIZE%
9025376

%ISIZE%
66497536

%MD5SUM%
07e91f0e2d204ebeff9c0950c1e65803

%SHA256SUM%
ebd799d653b48620d88cb0fc7d701ab6175e93eee0059896374e931726c9b1d0

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpFDwUACgkQdxk/FSvb5qbnGQ//WYqq4wyonb6VxhPcaXFW+oUx6zr8nhLE+CiPDvPJl7nHCA2aDiA/mp8ji9iMbfrSnRdChR5qjNqaJ8knaTIDZoWmVj7RAi73bM5sC/7AoAbDgOHqLq8AALgjWKuagY4fmes5cHCyKQpjzCaTAwQkQEtmH8GrT4OU/oScK8nRvsWOniDZrgNCdfSmp866Rq94YHsZQpqYgw+EjH+Cv5RLbCxq+F6xJe6XC6FDE7e1E1fqvTLun32SgGiNl3BejZePojAIGLJ79dWBZgyspxGbYXG6r1sJgdQvSlHteyKwYOw6tI7SY5ia82XwcUCtvtmvDKfS0fs7OgJv4dGTGDoY4Wqo1C81NIcqk1Z13kjfEegClpPkE0LWkX9F+P/qyskDCvc/NIEc8+ikb9V2kgNdvNb2VjBIEMiL6oaD56p2X9BXWsYs2IfGyh5laUHbSwy+vPDM/7wE3Bx0+9db/jUIvjADepzx2MeyweeUcrpZWJ7DCi1bFYLH2ql6qx12GqhgwIVW08VVEXONjZByu/BL09Ppw+UDXnT07QxIxEkysm9kzE19f7t1x0wKZokNN2XMNq/HRob7DpW2IblcEnLpOCNeI+q4avB27Co0O187nO8Wupvs2b1/l0KTb2lUKPSd4lzapDWp5x4nmQ/QpP/mtxR55NClgQdkl63Tm2TQFoc=

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

%LICENSE%
custom

%ARCH%
armv7h

%BUILDDATE%
1514475191

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

