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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.0-22

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
8636108

%ISIZE%
50223104

%MD5SUM%
2dba0befb6aa43baca142116f989c926

%SHA256SUM%
dce7c5f17aa2bdbef70de66c0902728e6a69fe86a0a0124c78c728a8badaca07

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls6d6EACgkQdxk/FSvb5qa/zhAAqm8mnbE20u+hji3Wy6aR3EWH845tTMxSg+vnw023AQPUgIx1AC6s8hOSzkkdoBp2PiO8VqMeu0ZZ0DUOs8rNvrr4hKZnaf8jOOooQN74wtMgEukcnTCSB8U1iB5xyxTJWKndFvFDvVxXMgsS0ljnJfhYY4dfdQpafQeMvw3UJ8/0bKVGrh7V3NVsUgo6YbAdpJboMGtArWGpeAoUuKlRz1pljZTQ8glZfkwjQDUA8OeOMeeuIwahwswWK0NIgnwrSAKPJjCVoOdnWWahQvUU+pX4pWKFY9OT/d0CYTj1tJyTpNYal+dlxmKo+PnronYmjvSdbHZd+LsvWdRrG/5XQnJ15/SGNGfiCh8qWkhsmkP8CpSv0whvJl5uDeGaCtScl06cZ7Ii+3nYpSkmYSv9ctTDVc8tPD3d+CCGSzZImytCWx6BkUSfq9c1Sjy7NtyW00T7fbTx1S/VecIRCuGvrgHcyQg7g9BMuBK/7IprBIo1zM670f7WQ9lrjdjM5ytPgfwsX3QllKiFuqRnr418+P/unI4Rw8kGHkHbBx2H4pK69l3p6jdrXihHw8PgmAdQUFgTBTsgKkwj3HhzFVOfdz4qKPaLat3dd1y7Gj4BuymrreIc6hsRJ4voxhq/0hCsjn4ZwPvrA4xWFby6sNruQt0YMdKDZUr76zFIa307rLE=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1530553597

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

