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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-594

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9503281

%ISIZE%
49515327

%SHA256SUM%
a7b0e3b2d2c151ac72205e5f325bbff87ebf62a160963b6dc20f34e838fda785

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMqB0ACgkQeGxj8zDXy5Kk7A//f17XXNt9w+eTZU2sRyZhdkR/mvT2MQdnL1RLmola3iWvHuo8yrHuT7oCghIbO7O7So3XKWYQehZw9SOHf2Uh0eqieGqVN+8Qo6EZ9GZZHLiWigle3cK7a6fvPdjtfZUwu/Q+pNf8+vz8pAhmK9fr+Aq9n3b8drF5Jtn4+hLF7vlf5Wiz1zi56Z6hoUGFROVuM57t3JT6KuRLgsrePmfdm+n91cjCWp/CIoTxOhp0tZRoUL521w7ArLDwstySoRhczWhUH3ibj3NuZpbNt4nxc+wdW16sH1UIllccUJU3qRBsxQm4qPTGex41XXF4/fkmiTC6RzgT71312KhOkLHBiFTPYamUR3tB5MHFlj+KlUchddaa2jLO9OYHhLTCRYWImZfRljzoVVVfPfoQCNFTcjx13X5fj2NLPQProj9CEl+oQsg2UeRZ7QRy3wCksoJ8uVjQZkxvCNhRFq9kYu7rq7KZ/Bwe40DGuompWEYwvk6FYDTCwV2VRX0PpT1AocsAHplBlu0jhVSPyccRQiBk7skZ2b86NNah7qU1Kuz5ggXX7VpKcb1i3hRKXNHnKoXjto/U1O5lQ1Ua7JX4MOP5323i6HSFfd6qlbzgsBr69QySCh/u+CbYjJBtceldWBGTTBqEttT6h1wQNfctaljVT/w7tu1akVXwKLzK115lpJA=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1791796944

%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

