%FILENAME%
agda-2.5.4-11-armv7h.pkg.tar.xz

%NAME%
agda

%BASE%
agda

%VERSION%
2.5.4-11

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

%CSIZE%
9655028

%ISIZE%
70805504

%MD5SUM%
aeca5a8eec585fadf5c6384cd7d56cb3

%SHA256SUM%
655af90aff1f5253ce996aac9ca326de1fd4ec5dc192426681f688850ec8916d

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluR13cACgkQdxk/FSvb5qbC4hAAj+b9QPT2svhAd7Qt1kMzJdDwvFos+Bg1t6km3cSBQkcSHCh2tMg15o+e+70JAsr5hQU8wApNd2xE8F4WOZJPHp6H0mwbqcJ5AXe0zT/zYOXPv6ein5GDAnF3m/62LI5s/GKEq7Chec/liCQBDAq2H9Y3xdbAvujlIUjpNxjIFnys+7INZ1hDv5xJ4qWs73W0RrSZL9DPreLN9JGnvtCpT3QPV6LcRpn2XAfhXxkAK1A3AXKBA7dln5Kzilda0OZeKDd1bElcwo4PHrev2PMepD3smRvGfcmfIxH2CDEjoqAlv/xXFe704xV4Jd/i9yNS9IMJOmhkNzS6yhMHXOfSHa+ZghMJI2h3kjsrXwfHD4FkoWaodcwChcQgY25uuAdmzq1SX49kYU8q/8kn1ft0SQFMszc5GPWPCwRmj7LWJGChO2agsiDxecMN1Z8YLG2Mg7868yYn0MsjXWpesLVG9QtzkldFs05kBKO638Rdq8GKSAzBSDQs/IeBHVnAkrasARbtEfTVY3IANs/jWInLggx1lQaUoygy7YE647WcL/g9qJUXVT2S2qsMpXZaSsTJUO/tgodrYCqz5jPDZnBwWK6Hq4ANUpAL+PQw4HreR0BclNtOAcpMQDUMI5a7SsrHGyrvqM+rwSTga2HXGNnSPcHS0srw2kqm2mwQaPCLIJU=

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

%LICENSE%
custom

%ARCH%
armv7h

%BUILDDATE%
1536279091

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

