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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-541

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9502488

%ISIZE%
49553235

%SHA256SUM%
b194ee6393861ec6d5ce5414e35035c024afd447a8190558d189fc75dbbf02ca

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/JiYACgkQeGxj8zDXy5JJSA//Vbzaq3pfWsYKT3x4449PXikiYOt6nh+5JjCr0zR/gtuRpfiAtbi9DBpbquBcRFtFjzVdpvK1kPHq0EdH0oBT0ASESutyZ52om3LBW1l4Ueam6DwQE4cVqkV5xHIPrMP/PmufCm0NqKnX7z8zVJHag0UNDz3GPCWWDunvsqviu/l/ELh2yvClXSvx0GddnfUd66/YbO7OHPcMxzcgHK1qb/dP7BwWHXWndtGmXyqb12ii+WuVJWcGTJDIS1BXQWNbm/e5HuAtVfbNOn/RT9WuztfK/ywC85WAvjIIpYFh2kSPPSmH1nfE2/YKXbPu9M5Bu0qsJdHnrXGJTZMnh+lXwR2I3Wdw351/77g27tjIxw15JczIk54hOzgztrexXT/Ir+54lk40H3UsT0X/GCBlXVZDnuTYA23mAKyH/5a8BU8xxIC84Nh268yIzEL8N56OvBTRz3JM0iDU1VnQZnIyU1Utvg2xzj/rEZWMJMmXvE8K/7QJ1IaeGBuZwvZSsQ1Q0daK3xqQZ2sB0Fprv9Ql0MeWjHFIdllJyHxD76ohbWOef7thurar9gBLEiyjF0iCme0No9sCt7PGZD6ket8DA9717c+jDG+st9oQWUFjF4hWVxHXs+G/tz6j696uBx5nuNM3AgdLGZYVq5suzDYEvXK3S8rax9r2+JDQmO7B/Dk=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782523093

%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

