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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.0-31

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
8637948

%ISIZE%
50270208

%MD5SUM%
3ff1251bebeec17efcb483f94ba658b0

%SHA256SUM%
a4c31575f1d175bc09877761df4e13da7ab8026f118472984abcbfe257fa0e55

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltF4esACgkQdxk/FSvb5qYI6w/9F5F9lf9Dhg7WqgVoWD6zYL9uD5fGNLmE1QuF2gB4Yzb+DZY9GWI4R2blWIAcU52xl7VtyGrYeulnJjQnkySt5Jn6Ued57nm7jervH+ReV4ftBdO2J/p8CwVcMv0eLyB6nAaE+aWaKgI6Eba7e+lyhwDlhpZhrhipG80FVGz+2A/VdBKaOgW/WmGZdFMGQeTVJP3t3GLo0CYeWLQjB8cNCWKRrdqjCHa5D8FK16/W/p1T+fA6A6zSCHSga3QnwhjbG6jqjn1BJ83o82dMaXbBBa04P1W8Wdj+9f2YfudP94EQftEoyMbGsj1ghQNgvanyAqBXVUq5u8g/nfjTKo9tNptGxmw6aCuUoFnxi+uqBB3T2NJTyKUtTkaa8Qof+h2UCFgqxPpTupks8Shl4JNiKe2Lf+wqNE7ec8Z5rPziQtWHpiIPQGItL17Cb+Db5BubSXLLLEfqsgED3SnkuNV3bwhQKGUUq2+LaF+FrhUR1fI27e1pF2RmcF5rKLkvvoP79GRg8RhWSXb4TgUFf3JfcMABeiNAwWUxqKCvDP1ryi//PX3r/tKCyr472RIYmietXftEKc9f4Tc8VMgloDHCOaUuHZwxhS5spf5kFWAxyqp55i/3BcYiqQJKO3f9WMuU46vtyWRBLmY95OEP6wHA9s7GlKo5enEhLUzXlv8/haM=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1531301316

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

