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

%NAME%
idris

%VERSION%
1.2.0-56

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
8548324

%ISIZE%
50716672

%MD5SUM%
b89a825d21e27ddfea26e23b6798a1a1

%SHA256SUM%
e77ae137125709d4b1eeb0f2bcf266db7588758e405ff03073a54e1e0386b71c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlq1ZisACgkQdxk/FSvb5qbxNhAApC56AC24rALLK8mbaRAVIWFZgQtinuFeEz/x+zQldT0xFJjQY7EeYnmNMRWDWeIFysLm19hwoeG5BKp5+2G61e+FSLaWG+V5XAxxq5CqOT4+WjDda6R+cbzzi6oDxz/n6H/3tc5kIZHzXn55yw9iYlGh3E8ZcQQWS/oZUQ+mnRnGMAWLSe8tD/Zx/S2oTF+fgh5w5zpFXaX0d75yp6dU7xTZrrr9YiEJ8hccITGMLhmb246yTab6GPX0Ss2Ifo/C/IrUzt1KGkPh2dC8fCiqE3M/wVEStMlsb7DmhDGEraE2c3PTanBgyEfbQ8z+2cs0a7jfUrFZbND0Is56bpEP2+67lsY/3g8U8VMR2cc3ppjeheUJymF4JJYGawZ2FtZBwn3NI7xLAdozIoRTUCg7nL1FGJZyfQO1ufUCEPeimJf82Ra6shwu7O6avt3XX2n7RtGtmnpyWLvDAKvJWNHcmnJZUghmKTdRA8mupQ+aQ6AFNhjqymoBPP8mbLUAQTIso2/CDxIq2kaIEfHG53WwgSwgMoABQkmxQGqSIWaqkxkL6bGPfpjwH23DxbaDs163belYQn8h98uYoEtIJIuLujMBvPVY2hIgSUNF7pjR2IAbgoIbjgqCCj0qiNUvfEJWL3eg7zm7oOZquFux6GH02hPhqMDH1aFuW7d3WoFd8xw=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1521837561

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

