%FILENAME%
agda-stdlib-0.15-1-armv7h.pkg.tar.xz

%NAME%
agda-stdlib

%VERSION%
0.15-1

%DESC%
Agda standard libraries

%CSIZE%
20550888

%ISIZE%
27322368

%MD5SUM%
f12994950c4f53edf2e778ee99596948

%SHA256SUM%
8d8a5ccce5f30a4c691a65f10e9f45d3ed3aa0e28989c63ad742201d4041e577

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqux80ACgkQdxk/FSvb5qYdHw//YqgjqsFNt2ZNIRnZamPnmwROjoodtIwviYHIpNPUeJQ2O8MSbBNDDxiuYzunyG9gAN6LFomSwZlxW5sv0Anm9hCmN6ap/h6LNXX3wxfEQCsMh5EoybC0aIFscCXkwQoBWOuwUsKJgQh4ea1QYVSmjdV4pMAcitYBdBRWsVd9taoCN8vGmP4oWVAbDHWSrM/1jQBi9eCAZUFBxYprTxHoLPIy21cRCLc0/nzLj3IgxhXwyZyyhB5wReVhj6/SHFN2XrQwIgUiGZOrpbjiNXuJKfqQIsfRdFjIdfMhBSextURX+Z+WCOwSRn7XdvTkzpTOLW85W7esYu10EisB46/TLqI3T5YEVthmoPOzyJfdwubvrpW96j3QpvHb7fEOUayn0aQnKGccdUgJn3tKalxA6QIXyTbWVhtGb2UAHZsAv6+s+xX8pwbmtv02BEppgF7807e5BmD6Q1bUJGiCeqeEKxjxBsA7M9oMOR4zh553Gyxe5faUUJteGbju7GLVO+6Kl1wy+CuoFPygFTbMGQJFGx3Vxr91+Ynwf51KZuCyMIe/wPR27cnaVaxuwWP/E3QPanTTmU0+pkcoxl5j3AOe6vB7l6tUeoijZOREaHdwQRBCWZ8bVhBZ+28yfo2JM9WqUqBtLhf2q9E5Ysz2NLfwC5D5KkOLDELTKwY0KCvl+7c=

%URL%
https://github.com/agda/agda-stdlib

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1521403820

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

