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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.0-20

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
8637512

%ISIZE%
50223104

%MD5SUM%
1b46c99f5a9421ddf4d51a87fcc02309

%SHA256SUM%
c6ef13a67326ceb95f7e5550f50d2ba9a62f8ced1675a24b0ebc3ba2bcc3077c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls3tRIACgkQdxk/FSvb5qYVDg/+JouXGqhs5scOqUPz+BkSXTAdGEZU3q+1fJeJ1R6WCyba5WGmCWGb9M8rhVKAqDMwJO+kvas5XKGm3zBRbrkyvoJti7q2AEvwQ3uFpOurQFvFMGuHEjBeh1D8zE7/YaviUY5srbpokbrpnkvzedX9cYduXB6OTXdkCD4ELn7J7DeVu8Uiko2gGt5fouwXPnL3EVAILdGPGzl8dlAidB1qoHclKbTmSwqgOU7VzPByCeaC46g09pJjZK9fprBsiHatnFy3AtEgrBpzfgmWKiCDhW8qsM84hoo5neCTN06PxT87AwlBoy54Pmcik/HHj/lJirvmxKvgbHUvSJdJy7eY6TI//q5mvT1ti9gHjk6Z4PS/v3AfUgxNd//3iWnmWh6RqAXHhUeexr9a07pNJYMX/iSg/52otoF/T4p42U2XHCojgmEXjDLVq+Jsj+AzhmlCsy7KQCHiJ3QlcIpXfivIOXPHf996PhKeShJUZq8lquWY9SL9MdGpQ4iIxZlDHyeNFEcWEQsxL1dAsXh71W0VVVihIzZKWZReeudJiGHbPwMrqhojFcMGt2HQ4T4vRU03dfMTQr5v/ISgbLlzNUyPl1TX7JH7EXRDyGhxA2UVTmdjNR1kiFepJAUCkqK6mqlcQEI5/9N6X4Z5/ILs0MwQCZwJwznpqrQT0TnjesIbzrw=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1530372728

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

