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

%NAME%
agda

%VERSION%
2.5.3-7

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

%CSIZE%
9003768

%ISIZE%
66498560

%MD5SUM%
1f20e39c252e4d53f599473276687033

%SHA256SUM%
a28b515083cd301fd57780b9d8fe652d444fd6a94f3d7ae29f5ffa3978221a80

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpH3EgACgkQdxk/FSvb5qYLVBAAtsPwW3vOTuZ0xDCKr72+JxAopIvl7sqVlob1qgUFyuPKcPfMijVW/4sPTjZ1Svy+672fgKsgRZnCmbo12egDMpIvedKhW17Ck4MWxHBAdnzEqgyq6R+CD8B/grRm2dt4dH3pxEbcUZYMxwnPN2QkTvMQWskXcVRybZwar/nFvVuRqRihdw1vGu8ob7talSSvKVUdAKdtOncd5slED1wd4NkUqHovsBJNh24EIuG9CRTwkq16kCHQA6fBZ4rCA46dXWfnjJKGKQ4NFWSFKwQfWf9f1yjTK+zG0fyrUYHsciHIf79DvxB7nBm98hCXEQm73hQo8C66EdiqsyCUvkdLIEZTEeNOzEYQiuuG9WVUZaFDBuoaEauQzb6iPPYZDPtN2EBnpj2NJ49tHS/apz90jxlpgdalxtuYvR8pwpiJOKm76dAvXbP7bBMlHHDRJHLz73HZaq5TDPKpEU0U8W2cEJtWDQ6YKBIulIczZXQ18qFnJSnyqBC+t9srE9vodiBS3n19yf6nv3Ium9mX6BKblKIfWUKJtjnO5gBK84JY10JSe6LcxOsHq8+8NrCrQXk9M/F6wxuEATyJuzGSrkLbyANDp52rDpel+v/hAfnohYqqxIOWSDzVKD3a5mGqwbwGsyMP7vzGsfHvezl4E4ihruE62b0EhK+cduqif82jsPc=

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

%LICENSE%
custom

%ARCH%
armv7h

%BUILDDATE%
1514658821

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

