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

%NAME%
agda

%VERSION%
2.5.3-19

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

%CSIZE%
8997804

%ISIZE%
66513920

%MD5SUM%
7fdd2c1c590d4025ddcecfe2641c2a67

%SHA256SUM%
7e8849ef331287dac38f686f543e326a783593912fc59ad77d7bac5782ea3377

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqXulMACgkQdxk/FSvb5qZUaRAAv1Z+vPRiYTNhIXmdZMoUl9k/Bt348qL8UdZ9gyx4O8XV8fSs2tlRwPl1kRfy2aSL+LP8712rUTQI3QfhvUj9hcEO0aY2XQIo7vzqNPjyhWPFnHCfvwOV8zQIF/JGYsLI33lJuzN4l3BAH9q/Yh03lx0b/NouisynyzhPt93i3XJIAo2A58cohacpazmiJA8373DEJHwWiEskLyDrAOnV4SXKIbspkDGwe/A9flhdEHKEFd6zXPTfofFBW9p2BPs5D5i5b2mGzv15Cgt2IHWh7stEPbGHgbHxTDCMxvmuogNl3KtvDYy++mFFEu++NRlDBMbdkVUQemoA0aH+UpjeOw2Pxg0c0zkiTmyfq1yDHL+L0dtdTqi3ZicsgbGEPLS5T9CGNL3a1NmVQY+xYO86rqrz2jNEUhHE4EfOc9im0KRWsuGriSSx4g+zw6bTQ/lgHk3doNZzX031sJak4HaMR+LBEOOhcNFFYCP8r4GkImobCwj4vqgnkLhNPI87MZRsu3dFrokmUeIfuxl5KjdUstZcG+ewMgg8o3VESMEe80h1JghiTS1fNGNcnUMSSMwcaAN9/V/ERTiyeqplmpXXH4W6+fLxhr7gLzpHNUd0JNS6vL61WU+//c1WbJOI192nxFOaVcilu+rUzKFwmZpYVkRmRs4p3tGrgNPtD4DjNF0=

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

%LICENSE%
custom

%ARCH%
armv7h

%BUILDDATE%
1519893008

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

