%FILENAME%
idris-1.3.1-3-armv7h.pkg.tar.xz

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.1-3

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
8898660

%ISIZE%
50205696

%MD5SUM%
e7c1a4d5835d9d0930e550fac34bc690

%SHA256SUM%
6f67496bad940a088ef99ec70c2918a54186a951520c2e8faf4e74736fd3e1c5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvcuEgACgkQdxk/FSvb5qbG0RAAi37edSj4i2vfA5r49ujFZAXT6j9DwY3FajcGeUqhxwkyoNbQv/yaRBoO+ON8ZOjsNCHKuTjey+zsa+XTEkiJ8ZzspaXgoOb7Js2lRanxpCdrwg3Y84NYZKimnOH3kg9h3Wc2LFApRmECa75DAvaMPHOXQSjd6lTkCuDc59oizVue6D8tkRPb44zRND7IkyzqyxOVgvtOIh8bOlelmqyJgjlDMpNRYnPpKT7A+kXrtuMQbTIxYuctVU9ddIMen+XMbX8ztxsAXdErDy2VLdH9V80tu/YP35NEmWJ0kwXHWWF7xWwiOVnP131pbMpk3DilNh3kbcSkpdcwpLeKut0awvQ2ZH4QZK/sMraWEVuLyuGf0YHH7VYKWyQTvLu7eN3hZfz3eCPVkRtaoYt0EHNPndUVnOBlCEcyLZw4TSjcc0qwEhkXV4L3cCXEfGBkCbFFxRdv2zX8wvzo8pgL2bCURVdXLsnsUx1NEREW3KVUFX69PTxsxAwNEPn5ru+QkAGddlAknzbcvksvyrTuGtY3LnnArWrYgnAB9myZ1lJbG/laS9NPdhg3Nt3aS21ezVUTNyOyYuIUqs2kLqAEpxdM5pkH5ZzvD/csKP6qk0VzyLvQmvFeAA6QmxneC2UtvjJwE4Gh8HZI+foioeLHJTTrOuKkr5krAC/SgujY9NIQWsc=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1541186387

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

