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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.0-10

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
8637060

%ISIZE%
50220032

%MD5SUM%
772d435a87be5069ac4d58978a7ecd28

%SHA256SUM%
4137b01657129e30bbee50760fd7dd5e95f26a583bddfafdc3cdcd640b258ab7

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlsYAB4ACgkQdxk/FSvb5qbGgw/6AlkCTnjvRYy6cuJRHbpo0HZYnKetxOU8IXPoggpWCShnsS6244bpSWV1qec7LZ7Me+Z1HNy7XTTMkeYM4BNPbgg7SJ1Wz2IjxtFyRLpdgwdV3zxfLeEeOaLAthVNvJ4fhkGrZeg1jRScaKt32SQ4M7ptaBc5alcLCiuya/hYZlVrGESwW7cEmN7ct8mJ2zNzvudXhKGeWl3j9LTWHkByrckzqmHEpcqAJinpudUl6vsV6N3SjKhDsW4clWgzhGKHwRQzBn6ryRVB6jmFpYjV37TPXQ+0ezp1dnVVmKAUx9KwA8abvRXGKilAUzOQyL76giDlHzQjprIAbjrr7Pc0wyd3RZNAdCLuVlgtqaUlwAdfhV1bfe/gDK1pf02HM1XlfNtczkTmXY2grz0KhTMsWfarWnqqBt/Z1lcJMAPLVo1lQTQYophBRxvaBmJaR5alH77ZDRQku849kAM7qRvDSD1KSlITkog4vxvDY6EBEg8JJwUR1cH+kw7SNLwsIybl322XWMOLudGELIMdUXdnO5FRuQnAcF2DBhKRRGKx39wNv1wKt89UL1DG+WmKMZGbNxcmM6TNfBwlpmzCkSKhGgn7hSNjr/v37oZvTxv+/pttIP9l4KWX5SdjN0RX/MCw9EgIivcehF6Vs1jTY1R3liIAPoS3CFuSraFunTc4sKM=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1528294393

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

