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

%NAME%
agda

%VERSION%
2.5.3-17

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

%CSIZE%
8973328

%ISIZE%
66427904

%MD5SUM%
25cc18cb4cc6a6364cebde0a64ac2357

%SHA256SUM%
52dce044fd28ff2273770de6d1ac50d62221336d0562f547c2263ef70582c969

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqRsC0ACgkQdxk/FSvb5qZbmBAAnVtfFWCkzvW91szkvw9xdLaLy8KJlxj9Yc20rFJbBwsDvO8XjqOwOSf1vdJqDOhFpwsO5pfrb9dSuHmoOC8X/SBOdtV2Dn1XMz2YeqvbBltkX02rc3ovhtAzyR/6CIu5eDogNk7Rzob0Sa993snPTC6FMiCA3vIEVsmLX/ta5YofQuy6oNgHQAnFldgeYVDJaQqoNjZ79M01/Pst0XaB+pPDBA2LqCE2HQc9Roff+JlFCewArW/Zgz975avh5HzwTsrBEP1Diih9tPbQ5Aj8eui0daCgpcSK9cDIZzLkBn5gc39M5NQ2EwCoHr2PTR7kgYS0cvylt3c64Zilk3+OZMFjfDoO5RrIiMhBitG0Wfr+PchA673wOyJ2+6UZnZob127ofazJcK6ix07naypaFrwOBKU5dpEnkZYEDaB7CITY290u7XIs4MZWxsbUUL8MDDmCTG6ia0Y51DJR5Drm6kcaKjvAsXCVyUj+SMSE+eaBX1BOgEjEF9PLqbg82jT8gO9PSL+XLjqnsz6a7i8y/X4dgKC/O51ciryMWEvHJtR0E7t34eBigXi2zW3ZDiOZzEPkziaRWCG2vP+bdaosL6QzX/oVLiPo9WD3KePwGAu6MyXjoWkwQmIYvK/x0U5G1S3Bp5Bf4qbAd+xMeDNVBZvGNP+DXRe9h+bF9GdA/4I=

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

%LICENSE%
custom

%ARCH%
armv7h

%BUILDDATE%
1519497188

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

