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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.0-71

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
8637576

%ISIZE%
50227200

%MD5SUM%
dd8f253b77d5da9deffd25ea41fc6d27

%SHA256SUM%
a495aca5a228b36f174ac3c7bf93c5532f92f34d4e8866e8ec1e1094a94a9e93

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlu1DwQACgkQdxk/FSvb5qaMsBAAniiP42KBGQOoGFTOdUxoFP+WdPGGRbiZvY88dh4UTfhekz4941mgjVqQxyksJDmDG7slHWOk1as/B/2mlOMi/AR4awlwgkKGeK5PKRDgRik+NfUMpjDUgop5c2KgpGp6Eu3kC2fh7WF/K0mKyvgdbuho/UMg3g//ZP/CVpsYzkJtvmhKBvGioC1ZOJzNf8xOqi084jLlNdcoejuyL72YiQ1KpcCphYq2X9XGb6VnnHIuirKNzsaZ4IM65TVZYS30xGpyt+MTSVfGiN8zvuxNJSQxtsML8aBwzlnQv9nPlprj8YrrrZxXjccDE6emv9KFht2mogHUSV6p1STmW8GZiLoBq8Cv03e/9U9mhkkCiB36mg57L6RH0EOsNIR2ekZIsOYmTBIAkDf+yLZcqbuaHDdMTzlx1V0OYixsBREoCvZ30hXRXSmaTpVNa856e9GhejHwh4HDAq66K0hCqmKKA3mCEFpiswjTCgeF/0tp81AnJ1Y3i7qQnAtfZAmF0gyzyjoSygMLFqLylkjLvxhlcmntVxiDp3M0SPKfdgYLu9lf4Uyy4T1D9+t3LNDkDEijpemEJr1ogHI+tph2pi6ANP0YtU+eHsrQKfv2ltosn5RJretIdT41PRqUAhgDi6sSDx+d5jTeujL2vxnTiJJ7MI3BuEyNvSjkajUJdFozExw=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1538587758

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

