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

%NAME%
agda

%VERSION%
2.5.3-28

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

%CSIZE%
9043704

%ISIZE%
66632704

%MD5SUM%
a27b615d8ac2b6ec6a1e89677b7345cf

%SHA256SUM%
2f6f577a3489803c8657d6e34c06540747cbb2f9b71b03d8b2cad689e37d468b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlq1DJYACgkQdxk/FSvb5qby/Q//TgvzpIxZC4/Fh/lN0JtP1E3ydNA42MCR1JrDf7c5j59bJN22FDPs3BfKD7HbQo3xNxLlPiu0SH3Ru/N4tOl9mLNpAcyoaLezZvdXcWSlJ6zjf6XR4zMGrDuk7pZnHDXUzYii1aXwnwR4uZflIaRLYp42ZatC85oHIjnbD84yLcK14+Ca1JoEkN0nCniCpM44BsGnzvwEDEE+viGqhOUyvRGuHresQWQBgxOxT5Jt8+H9CE/GhV0KT+CwQ0WYxr/tIH5BlDKaoiLbI9V29HSmu6v1/LXvjXWu+grrFHh4z5qFVvCkmxNq75qDL338L6xrwXWzibGu+cxioGBua6dPpEkYNplIIhLYSBg8oAyFkW3XKq/ym82Tija8Yc9NXQ2WoiHLbjp0tSjYotSSj9j4iGQhkju9APkMiFfomK67IBZWwr07P+ZNw0cvWlMtfMikAwUcXV6JD3DwR4iz0nAiX6V0E3+B/ce1ZHLyalIW/y+GhJiMf327NuC63CjBbPMcpOh6aMjZuNk//yIxQPNKG9Iy34FIoZhYI7OXuwPI9vw2l4lHEqk0ufs3xPdOfPIJE1FW342v/ZgGqyz9pEGuuSFRH6OxswUpVl6A9p0FGMfMjtmPKmc9DHTM6AxAYG+kiREcLDzd1/N3P8y3EqqZ2eRY2i+zhb7tkfnzqOxe90M=

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

%LICENSE%
custom

%ARCH%
armv7h

%BUILDDATE%
1521814604

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

