%FILENAME%
idris-1.3.4-554-x86_64.pkg.tar.zst

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-554

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9501630

%ISIZE%
49552935

%SHA256SUM%
8a2014745f0962b223e12677c36033085e8033ba6c610d9fe37a0c5f06adb6d9

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp8NlAACgkQeGxj8zDXy5LjARAAqwi72CMiGsJ4rtanBbZV7uj68jndYLqD3b5ZZK3aVej/coOKGYQCTe5BMAWRMUNmIBnp/alZJP7K4lM6Y9tM4nhQ2kZSAGQ1ffVVCk1gypwoSlEooKESssxIsdLRFfcKooc7ZcGM3QENVjiyey9XF/rj/Ox1PDwuQg9mwMxKmWPjAxaSO7i+Oe1FKFebnuzD/VKE489kZZRY4eeabVOBckEYLM+c/K21qpS1BWQuUOCxlk2yhF7pW/oQY7Q5WC9rUt5bP1QlX3Zj5Pyu1R1FFxG5vUehhQi0v5x+eFAygqNwXaurj02AvIhUJiM8AYOhwqmfq7an41UcLaTJrKGXXBHOXatqAF0Yxi6uwgtkneXjRUvp7v/EyRWDULLatpWgr7iF53KL3RWvt5egncWPNdk+/iVpPZN+a69Njpg1yOqNS9O+pDAAHYu6e0C/2U493ksuHO5Ap3gsrpMKDpYmWcetYqhAKhD22kk1QMUS4IPFPJE7DjOXI2Hamg8ohkvk8sIKVVY571oqJU+1bU7kle/4fdJBPIN26sekC0pIYUorJI+ARik6DDIuxkMY0p5f0gC2J+atexo0KWfwivUOu11UT9HlConq8KRE/t2kMaZ0tvi8lqCjgR3E+/8v3pPNa1le34+FWK053WI0TfvrzePtsCUerHT/Y2qtOBlUOHk=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1786524920

%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

