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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.0-51

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
8634604

%ISIZE%
50174976

%MD5SUM%
4b86db25fc871805efcf649f3b21a957

%SHA256SUM%
6662a50cc382dd2ae722863514d58cf3406230f5386fb11c81477fce0a715c1b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluHLx8ACgkQdxk/FSvb5qYXXRAAmRgSv/rOw8aR3NCfOVI3/i1IIZwl50SHr2pEgeun9cbG2kWdsvYy3FarsS9f8IjMTTkuk17UrMGa0DC2iDuE3nND/GIdcn7KFx1ntDKA3UDPLx76ZJ+zg+mSL5KPL6lbQDgCi0q/0jlMJDfP/xLI9Lk1KTW7L1O5RTnCbuzlg/PkVpX557xTiXQZEL8yLkMaFQQMHpfYgJwl1pi6hyD90EA8IcfYFnVjZQtOC9tjdL0KZvcHrgkoQ7VXDBq/H4ZAadipSZQhYcDhpYr55FRBOjN8fdujoQVjlThGg8KHKybzlrjK02Xzp7n0w/ZViwqQ/Vvz4UcktlCw5w3ddWiT3gsm0faFzOIcdUkVectukFe5A3kaRscWKjheRCanx8gYMC1nF7dD0UCtFHdd97U0eyJ7VpdX5bJM3VU3agxRG7TOOqQGCj9NxuVwaWYeStijxztHW3xs2hPxM9fRTSjsz049ZdSCoUwoHpux89Vk0lX9KXsPUxmvCK5/aKRRA6eMOmous0Ip1Z9yCj9Ji+WLRUjC9t06gwGbpzrnYPr+ebu3VRfzoDb3E5KPqd7X3pc3Krdi+oR/rVRh1nT0/ruZ3jWZPCu95XYnRDVa0CHz1ymkOdSyieE+LVWuqP7iB0ApevZyWEFbewc6RhddVhQS6mRZ+XE2RbV3s0JnQ+LUNtc=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1535580915

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

