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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.0-74

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
8635216

%ISIZE%
50227200

%MD5SUM%
20fb01c994804c8088c60de4a6586861

%SHA256SUM%
12b40c7b09bba824fe044ceafbc383cca7c81ce72ea3ddd6f267ca53c94d68a8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvAwu8ACgkQdxk/FSvb5qYECw/9FuoT7plq0J1l4JtXoeGPb7Pk7I+WQDf6yeS+WgkY53BFjxfUSydan6wZGeiPSpXFmV4JJbtwCzv5OJctXj+1fYDQEQ3O4oQnS5cavR8JVBhS4lEJSnmLfbW16im2vs9MMn/k4+bPcQxREq6pISXpBSxMPy9quyp4STS3KJqABfHMCVJN4Q0bT9/ZC61Nuftd00A0ILAiJmCzaAH8WFuagXoC30FQU6mp+rEVYNOwLRBEx8UN7aINqJ/q9stGZDGgX/xkLsCuIG8XiPJGxPLkIYKY/e6pmU+ytIaBlPONWFgBCc5+Qx9RBCw9ohQdob3FgQp8qPsBIXzRjXD2ENC7awOBgagIoS5IYPxw381xBRhHM2wcuV5E+I56hAjs5Tk1s0kJLHNyArNOjhkR/8l3Tyb6CcjdHYgj3OPJwAE8gzuHYKw2fHpwoVBQjFqGwrH9968mQSTJQEbQHlktPQ7kybXIvA50jT2i8dT/zZpXNzxVUEHISkqffpysH9ApV+c9yZKjokeDhSPoCwHwlwZxzmTqkgJzpAG2uL/Ilxy1momdvmujRN3AAGIDAxUzWJ/wm8R1RJ6eFcpACPtt1shgU/6RnRX62nTuONReEuVd/GNhI3+n4+nsCCh3JNEswqV779Uwtxyxr3U0q+aFWi92cjYzUQNYv7P+s2ZSTqtjWP4=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1539354711

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

