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

%NAME%
agda

%VERSION%
2.5.3-5

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

%CSIZE%
9004964

%ISIZE%
66497536

%MD5SUM%
139ee37a74119234f4095ac35759965d

%SHA256SUM%
7adb75e98115efe1398da1bb95d3fb8ef46a85d7c495101e3a7ab6e010d6fb86

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlojOcsACgkQdxk/FSvb5qZxLQ/9FZwNPenEir4mhEcDAqL9x/xVeyxydbq7u5zZ9xKKAtfsmUij4GlHrroggt8gRGktfTn5OyC6Skx9LXehPGA/PSpZEOCw7v8yYhNDHnLHhTDU/qufqQbFZ9Odb9qCUCc78zUBfXgCBlK3oe+KOQjijd4ErHqv1xJ0IhvPOlcV0xN4X/oeVdHzOVC+lO97/MoYxs0QPI8uTY7kyaQ7yK08xLZqnsfW0UR9B+CV3YAygiipHsnzZgz2a9WOqp6UF1jE1pB25zISkUjWnlxuMSHY6grNSAhEqKDC/9MpdjJieBVoIXfKh0rrhqgSbbg9g0ATCcN00TmeSYpeqPQP+5bAgNx/s5Vv6e+/n/SoY9YB5bZSwjTyQbg875iCDSJXkziRV8OWvd1zh3UYP1Say2ELcHV0VJh59JagGmSrUbswj4w/X76VBcx6EGKZNYbrtNOslWvWM7BWuYGgB94ZXSh9GgvIPL+Rc7bMcON2W51/Nuaw4B6aoS1o1PNnv/JvzZ3wuB0iauPigVM/XNwRbb46zx2VErR9ggtkxWYlcgLlD0+69P5GfKFug5LsBLX2Jf5tW7GoVk+n3hGg94I6RqZvnqlDsh1Gi7XCQWaIZHe7AaOQ5SmQZHBMWiRzszJUzaRNI9Auj3MI6YTXc6ocQeawKBeIICMJ5dkbf92kMtsG4Gw=

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

%LICENSE%
custom

%ARCH%
armv7h

%BUILDDATE%
1512257926

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

