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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.0-52

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
8640680

%ISIZE%
50269184

%MD5SUM%
b0aa95b09c8248d05501b5a9b3c54fc9

%SHA256SUM%
f67d217acbd07ccc9d29671830885fc2e1a39865311ffb745d7e746ea0b64049

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluQbWUACgkQdxk/FSvb5qaK/w/+OUbDUFT6PXIJ7ZqJ9bI/MNACqKKbKuEZDnkew6/QnUGGwCswC5C8WibUpYYMabeVY5ArLtH3mW9745rt9SvdFXQ+0MnAIdm7gMNAw/nYHzRHT9Hu7Dur9zTO1Bd49AqCBzQHhsSWOpT+EgjTb7Fvk0iPzrqt1owOrMj0jEHoM4H8vkQErsWsWOjeb/lYUVm1IqZML0kkPRPTa3dZz1eq/ZgHELTn05KaTZ9BGRaT3kDdSeWfQkjvRHLeIWM93bei3d8EOEeNKQX8z9RzFIakuFd04ivBMTsnabr4NbQ7JTU0NgcWThWkZhflRAn+JtQbf0rl4j2YJkrsw8ukUwU4P+bdpduo88q66RBTOF200AKbS61U1MDhUeLE/OjqISvsoPhnmE4+bh5lVGEnYdcxShxpjU0thY4UX7MpIt+ZzpS6XaCkHLtGxc3L8Ss/EcNfi1bLmx3udbmW4pdIqcuRasA51V5pQPjBD7sVg2jssySniTneLuOVfJ9L+FaXciXpHmq1LmtJA/J4ImvK+JGhV/khJlPDIfoURmKXXkbuuPGjjZE1/rjvvqkK4PBZP1YB7SDp201fAdbIMgQhkZ6fAXPs1TxwWfjshhufoidQ/H0IcxHoVF+4sej1uDsVbr5M0V9WPHksFwPqOILKqTN+GoFpXTwB/JZJqzt3laAQxCk=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1536187078

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

