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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-543

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9504825

%ISIZE%
49515590

%SHA256SUM%
3b07d8a33ff9452d792965f82da3684227728c7bffd9a61ddb2b015e2a0c203a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpAMx0ACgkQeGxj8zDXy5Jz9xAAhwJYj6Jqhj8+gosIjLZtaVOAi/ZMDjcVD2+zzV8hn14ka6wZXNuBxfhLXWUlqWy6wCrnRj4BDVf/auphf7ALklQI/E3gNjBo6+4yFr4CSpQAwcKBqG74pdk7ZBNEc2kIlVEflJsS2mERSFI4aKHCgUcWQ7u6rP3DfLoYgQ1VPWW3LnwKDWlcYr0eSfJB0sM+EdeDzDpeopdReCvvoNttkErQYPDI9jZYnmrF8EB+3Up0N0dujDtilNBvlRKbx7pBH0jGU8A0aTcfXD5DLcR9YGo7MnLGys0U9YsHEJJA/e01M8O9LiWmPKy4dAAhbCOkFWXWS4b/4U02iLeR/UQn+hDMMa7JuBoE5UigmBBN+GewPErEdfq6XWMruPMnnFYMv/7dcrzthdB/jj5oyP0qz+U2xxP+WnLyCrIX4YK8v/i3jpdv5/T1EVOz+4I2MtzW8vE5feyYd8OlroAodRFsRVb3IXkNhk0tm69SDQzhu9pWZ0yusLGBlljKARpL285t/ybftrQ2QI4ZvQXVtSWEA3Epf4fQiKOEsshYGSv+nQk2Ot5Nd9RvHtD4WLZD3hdGiNhmRtv1FJJE9XY2BubctLo+7RPz1ag3dpY/kHT2bpHFTJL21oPO17E1hQLcb0c05MGQIiUrDFlX1Tp3P9qpFAzf3c0+otCUtDIzOkBt3TE=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782591596

%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

