%FILENAME%
idris-1.2.0-64-armv7h.pkg.tar.xz

%NAME%
idris

%VERSION%
1.2.0-64

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
8554940

%ISIZE%
50716672

%MD5SUM%
ccab677bbb9f5712cea55dc2a29528cb

%SHA256SUM%
732d2eedd3fcead2641b60b2bf1828ee4aeb259c43c5578cf0db5ee519997844

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlr4fpIACgkQdxk/FSvb5qYEvA//aee/sK1ZBeOSe/tRKNR38ybOe3ZfOCpd4n5Xm2v1Opr+caYrGDCFgjWvFnRGdfeHICeFHo1t/q0B/KDUja1RttQyU6TLeO0cdqSN6DROZmaVM9RAHFEovabzYO/j7ceEdnEhSo9f//DYKz7GK7kMRAmUOKZjuyL4bnE/JHMJBNmWogo97BWQTiFh1e41iFAzf3QNNQbxqysOuIxrEwlWOjzJvEdw5HREWn9XY4TNhWcBQme+jf6nE5+OJfU7b/uNKK6jJytQotN2S6UJ/NRpePZv4zMOu/qy27ECjDLBq0OyhZG2wNAW46pmyZA6aL06ObsOq94wUw6l9ONRwkWjZv7kpRA9BIfjQyEZYuZnUK8QpCzeykJl7NA+/2820YDKMRHQgAfwT9qfqk/J/GPUBEXd8dpi3QrunrW3d+sGuxAz93I9i46+ROTt2E/Mc9HwPTndQIethsxd+dyNgu2VITBBxJvR+oglfjHdksgIEBt7MSuZfaS43bd9ogbGK631TrLwXda9Skaf4d56bSMAal1Tm9V5vBlRV4tJEcWLhO2bTnjL+g2MiImVxdjDwuOkiy3aYnff32nYKpHgSdCtFktYNwk4H/b48DAWOSp+zUUHghlygXwcgTGSJ4cjDhHlagqTH+zSWq89eGs1+BkAarExGH7MOmu4jYjNfYQdyhI=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1526234725

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

