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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-338

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9793663

%ISIZE%
51993140

%SHA256SUM%
2eb5ea9e981bab932b69996679c51a641aefd4f1022cbf50c9320086eaa8753b

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkWsACgkQrx0hme8KPM/4oQ//dRsV+7k539MGgOHxjdUuGsO19zOcsECeVGTR+J1gZhTrCy4yd12s9KdDisyPRBhcdGfMmkbNy5V49DNv4Cs1mGImpKVkEBRTO4eEOiJDEdDYfohigBrHXv/ThUEZBX2I8EsG7QSCOVuVpHxT3oP+Lih6W3lmjDdcE/pxpGjTlFaE20d8dg4zuNiRH+Rl8vV65SeQbCS7k6HqPDeYt1TjIUQ5+Qk91YvuLoMW1qdqejdDQigu4um7e1OU11ImXjR4PTWZ/La6fX6tcV07m9YoMgPpYi5TX+2+CT12juvyzmT7DDXJNh2ybz0eDUyM31YscT7gYgDrtDfAjWFa2+rZ7xf2PngyUBk/FtvL8WskJd2WRA0y4PCRvT+B4Je1v+6XZp8JNVNSbfgQtEWCfbO5XTgWweItKDQ97KDrMLL2LFvTxPpZt4yY7wux4FRYKvBOv7lhT60aRJBlO7FVSMR8RyA0fnloy1XDhzakqQ24diqoTk+0OZTabP7Rn909LGNXKnGtbJd33RHiVY9+qx5duvxnQN9W4OUVWtWBNybk+Vp0bPn3C5y7Ymra82DHvbtV6OH1SPrCcoCf9PRuE/4GXKrp2jekKNLAbJs39w2NBksk0Y3nBGwX1wsj9iaASzPvxuM3YudaxCXZhQ7Fn1SbpieGzmcLUahSwoybXlcOqQY=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1753725308

%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

