%FILENAME%
idris-1.3.3-309-x86_64.pkg.tar.zst

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.3-309

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
10584096

%ISIZE%
57717594

%MD5SUM%
4ef10a37f3bf44de028a924e3a0c9951

%SHA256SUM%
d3c59fd58dfd3c0bc1ab71424a531cf77627bb2bf9a1d5520247d6b8665cf0a9

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHkIB8ACgkQeGxj8zDXy5JNzQ//fillxl868B212rkILu/tNPYewd2OXZcdmdfGajPF+3gqrpiHMxS8m/33dWGXTZ7WNC4N7aaLbh9FZeLo554fZ8xLzhb7iVbU7QZu//SqgW2nW5goC7oUurkAK9kd7JdByLwKVG1RKxGSQ1oz3MhWV4lPGzGH8wwnWgWZCq2E+oURdRIwwV6QyMmp+n52tqmqCgymx8/qWRWZHn0HM5tvBGkD/bcG+CGKHC5kTDH3+/yORv96RIgnX0XGzveiChCc60X/CdY4IwNq8ILSDwzNCfhXzlpu/crtw5ezB9z14szyH1evJte6ZD997qJFEn4vyG9emOPCZrJF3Gqoz2p3OLtzgDZ+tQu3Fq6UXVR2lpQg8NvRtN9AFvPkHPxo+DlkGyKA1aHSJQ+M8Ad8acINA8wuUwKuuyCH7K1Zm+4nIVOhvzw0RpBbui05CDsMvekj5akumaEvzZKAN/FSyiuVbj4rW8da7QaS3oE6fSgAANL3zieLCKJYQv8gr+QVmpkme3dngGhzL6RkNN6cnLq9wbeS/NW+ev6vEbNV8fwTLHipPjVCBW6EGkVj/iWIuwE5u4CQeviVbu+DftvOv+BhpwXIUdqi7R3BYRxz7GbiXnK4I82XqfMoqWq1xoFkmEbpcvK8r7qyMUgM5gxXwGaPUh96K0cp1q1mi8JGu1UOMEg=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1642338023

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-aeson
haskell-annotated-wl-pprint
haskell-ansi-terminal
haskell-ansi-wl-pprint
haskell-async
haskell-base64-bytestring
haskell-blaze-html
haskell-blaze-markup
haskell-cheapskate
haskell-code-page
haskell-fingertree
haskell-fsnotify
haskell-ieee754
haskell-libffi
haskell-megaparsec
haskell-network
haskell-optparse-applicative
haskell-parser-combinators
haskell-regex-tdfa
haskell-safe
haskell-split
haskell-terminal-size
haskell-uniplate
haskell-unordered-containers
haskell-utf8-string
haskell-vector
haskell-vector-binary-instances
haskell-zip-archive

%MAKEDEPENDS%
ghc
uusi
haskell-tagged
haskell-tasty
haskell-tasty-golden
haskell-tasty-rerun
nodejs

