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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.0-50

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
8639076

%ISIZE%
50270208

%MD5SUM%
0103bcfcc7ce6f7729d307179ef9581f

%SHA256SUM%
cb65f2320ec659ec77543a7fbafb5d42f0c443f15cf51d4ef7b61081f7be9334

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluDJVQACgkQdxk/FSvb5qZXoQ//ZokPo4rCm6GSz2kZUsBrx/6R+JtT4+a3ddMOnurMAMdsvWYfdjO7falydOWsSIBRoq63y1/Swx87GkxOtBwq5cQGOfrwhJ/Q1VdxGk9/rrX485+um6yauVy8XhhZgQu6vyY4Gt9KhDeQ1wM1YyFxwQAbR40i5ChK9WARIuR0dOPOG/m9MWMx9tvg9UmAr8ZTNLc41DtUXx88Qyj4BqsNN/+nG5zApSAWczLJRNE8FYaKR2RPdKsU8u92okkHgNXyfvTJT8EAyb2boB6A8Hyy459a7hpX//4e14qUL8oGcY6fjSJ6FpOyqbhlNebUVQ80+1TKj0hr9E9ULFPFFJ4Qec5aztoLpXFAo8G6uM3t7ZCbE7S4mQIvS+a6V0gDkZzH5j7KyhmEM6bFLx/BM4j/YUOHkCRB5Tk5/0U35PfomUMGccnixqeI0J8VS03JTF71eF3J0LtVSlFezuw57jCEp2Qiyg0z5ZXPP/ZflkGeXZwe+fCoz7t+bMqfOmgMR/zMsQ3Eq4ZM8cnP6id8cwTYvkEAVuSFGQHcH4tJmudvk0J0HpNsQN89m3eGL2XXwSTPw5+paNAh08cGk9Cr86c6hmTGaIXmLzAyEEHeWGZtXJ1J6nQ4CI2eN8MK+sD7tZSeYxZJPFrmV/PeV1KXDHODko7w2plW1t+3VH5sDmhvJZ0=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1535316646

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

