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

%NAME%
agda-stdlib

%VERSION%
0.14-1

%DESC%
Agda standard libraries

%CSIZE%
18707708

%ISIZE%
24875008

%MD5SUM%
53fe78d5b023d45022ac8714f31a8f22

%SHA256SUM%
280aba2251d6583313a1042ff460d6ef0a66f5ca00a6b88365106d80c56557a5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlnjRkgACgkQdxk/FSvb5qYDQA/6A0oxuyXEun3Yo8uXvwImL2NqzPDigVUa9UZi482P/3bErW0PIDNGeGFG8+23CgC2vbxbBD16oLoZpcxBl0CKXJdQS+9/gkF1OVBHiFVX3Ny4ptkBwlfE93ODgRym+JLpOWmuVxFCKDNb02i88gd34+JhQbwenuchyArWpcaBvWgyFTenMFavMk5GMalq9YC5XDDxKEjHJMAv4OLrR4awnjIC1nHVAhod6oAgO27d45G3/KDguX3SAgapZxzy5IQ1JB0gduMEnNLON2EP7RN+TJUWCYXUQ4TwCDmU+i57kFo8fY3oPGSBALbdlxqOS7U3m/OlU6QJ9dv51hfJTNqmsrm7BAeJ3QI4co+ICqNM3QLV+NNaS31aaz/NFW3PKAkXqq1InOwVSIRUh6hhz1sPPyECkMIzQNMj7PgnC9Fzm8FAAdHVZYe89MABx3rkLAt4tzn5ky6AueROy86U6fi4UbvgJw0qm0+96+9UG3U2sleFslhmMLpk4m9vtXi/fv6xbIBJr0Rsa+uHnhnKxUAxPha3C80oJ/JRjwiql5vGCpC4FbGFfcXOWyuJRFXceJ5qyZFap7SLYd7SVR8B/sWbPCrG1817RdMfmcUKR4X8Nygd9R893seEMwlsxdjbxGvjfk4y5U6hvH58ywiRP3Wwh8hI9i/M/BdTwK3WS0I4hx4=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1508066858

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

