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

%NAME%
idris

%VERSION%
1.2.0-34

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
8551644

%ISIZE%
50760704

%MD5SUM%
4fb3d33ac64e7a258fd56642115b2f90

%SHA256SUM%
58a24f8050f3b7779b20f343f0ed52ed30fe62bcbf397b6927cb4db39d04a536

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqXpw8ACgkQdxk/FSvb5qboihAAkLScObF/NI5DkGOzvDNGMKtIH3KkNI1MakRNs8hZ7RwQ86fQxZVFOa4b25NP1aFkyPqsAdbpRiV9BvQZaVToJqHHOGxu/cFYGfP6CK2+5N0BWTcXE+yqVROHe8yp39iLfPNTFa8LwjImpussbzaiaYc6/PiTi+3JWqO5e4Ju/s53Mys9rkbckWTYO/ATEMeZcYe55ZzCPm6J9IntCFvwFOdzgSQWt6VpN20ejf/b47vXQbIeteHX7ofm6SfyJKRumhSaeq7NYOkgCylrwsuQoV5b0+1ttsxLR9haxg5RTPuJyTwb7ZAvJbG0kG/vlhoX4ZnkJe8j1p9DPYOinLxbeHRK2qc8sLwB94gkqPy02cHs5TF7Sbu1nNuqo5lp4fO18NIAKKGVjqXyiRllqFbsrbY+lOD8pZAKohTtrn9BrqAUlTZZj8QuYeEEtpAYkLisL3f+7Iospc+VS/qNb06cqNDZp72rkPUnDg09z8S5J0QYvUrJNlpB8c52ygSmDp2th/HRO0n813pmsJhN20n2Khh9mkmo7nlysZ7+tGONpbMyWDM8w1212sMMugUnyxj/eglgFLl6MB188MI5rtQdZwonhmUdgoFqwpksTBliS169vh/8nXVxvekBk9L+d5VK/jZBKbRsFe1VPkna3oBpKHeHJoOXY0tM/bypo4ZtgyA=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1519888098

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

