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

%NAME%
idris

%VERSION%
1.2.0-63

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
8554972

%ISIZE%
50716672

%MD5SUM%
60b0a84249ab23d2ba99361fa9d0ebe1

%SHA256SUM%
fecd18258580e2ba38bac27a7996d7420269e5058e38328ef93e715bbf68f267

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlr0g0AACgkQdxk/FSvb5qY9xhAArUS3M2ERSHlOv0WDcnJk5x3DW8O6GWNt0AEMKRfubBgt3281D19vFUC2AWReAxX6fj/KQl4Kn+kNuEciLLyG9ZtyG8Pd+iIpMAEpObEbS5L12zEoPq/HvDSHNjgSqlSRmvNMNOKFbGYVijqieOagMtUWwQamQXh0MC2IPsfIsARtWqw6Ju9b1euOiCjCpzUK/1ogSun1c4YQ89JH8Ah2dG+8DHlta50Pzw5w6vHe5WcbmjuPOGKQoyjy0H0+Tr1bz5VMeRQREzke0+PL1GxzNytfafQnZX4+Z+TQwUYSIFG3NycAm5lG8ZSoiDbT9Vn9lnGsQYxiHzLfkhSmRnq29TgT54UfbTKrVgbxpBkJrS70JOVMi0Xr/3G6BVWo8P/6rvoXdoGemeTecGCpk/sxx5EDVD10jGchC7lyDgAuAqwr0gsVk6IU3dA1fJm27pmb+LHbceykfks/BoVr2FpbSHClE8McGl9ZrjGxUTT7IyaPoJN3E6PrKRqvoO3tHNldot0r54HEjDcJ3RHoqV1Z3zfF18WYHykjj4oQRpEZalFxC5ZLdaB4sKxseG2xrm2BNcqvJU7BU4BNntrX2P/i/FD/R7DHBPRwqvbRdzK1bPBPo9zscisrCN877l30uCbZiaGNadvXkPItq8hK33dq/ZTusLMSbFW0GdtH6Z+8xOY=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1525973779

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

