%FILENAME%
idris-1.3.0-41-armv7h.pkg.tar.xz

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.0-41

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
8636676

%ISIZE%
50224128

%MD5SUM%
de3d09a8ef11e38d02bd38b9a152afd7

%SHA256SUM%
401bd27a3c71f47e72be0a48343e6d4eba77d76a674cdb14537f9d141299bb05

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlteBtkACgkQdxk/FSvb5qbE7Q/+OAS3B0IlgaTn6kmZpIbnzpCkiNJFA07/UjbBVo2xJxDZ87bEPT5/fEjuH1n4o0nK2jxkgxhr04hj8pzUhgNGWqKEmj+V166Do6ySLDSR1roSHD+nONV3Poto3rK4WwivwayoYA02XuoJeP8YSFHrlqcJNjLJMXp3myLzuT5tSWwOava7V8di8aHMwKCXp9BFKSHJg+gFwY00e60+rF4kv9stex+yFD0h4Aflvw0FL++t4fteYp0ygC8sh0QpTkN+ki/5jaMLvY/rNzTfMtVrCVvzBL285znhoh+7DUVwlREVdr8BzgCLwkahN0VTSpNwvquC31UCXc6tOQRpJBCT8ppf5lB8R+8rbQv7ctmaThvZSPKo7qFhCwnxaaudSNAeBQd1yMM8j0OVdzK/lHY28WHxE7M5hJxpoBRm88xoWJAKbYf1AjW4Zf5tGf1WNt3Y9/1Yh1mgQTW39DYrbGRn3tUkK6h+afbVWlxpW9V1flg4C6eC6adCYbvz0w75fY/qQ8fZ6DGW57pZ9OKKF6uyQvSuNL8mFnuxFLc8EoDv0JrKO1hQpY1RlIVV6mZWwBA4EKKaJMaJiyu+302jCBx+iOS/Kzu4fA8Jj7KJR6Mj1tMNVNFFOUyUq+JKPNGKWfwxrYe+QlsovH/NThNjpTQrDF5zdh6Rc28RScvPtMFULSg=

%URL%
http://www.idris-lang.org/

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1532884032

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

