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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-509

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9504325

%ISIZE%
49515920

%MD5SUM%
223a0752915cf72c66cd16f0db665417

%SHA256SUM%
769b0442ba36bb7b6bcf74a497c1043c5633742f0b6ca029c7441fe9c640d0a1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoC03IACgkQeGxj8zDXy5KwYg/9EFmXO5+C6Ewnab/Zmza99uukbbn8eUEgaROITFyWivTPgjtVHkvIx/cpUxEurlZOP+Xz6MufvIC2oRZ5hZ0HcT0VyyXEuMJOuERV7SFxz3wmSDpgUOrpIM9Cyj3thEHs/UJQL6Vxg7Zf6VXyn1RKivABtDG7lSk7RODEOKt1+mNFM3mQqzHkH9VASYHi+HrDjzVerlhukEI9AdiakAxsCr5ALAl6v32CzGR0Zlny2tgX6aUQ2DPSGNxDEPL5dzJ4KyaJG9RyjY7u7zaP1akU8tLv/pUIaYSaMra2s5GtERODleT/aa3o4ZC232ne0tRsNrSAXOgjIoWn4I2zjCS2a4LlUeXzPQfa9jQ88/p4h2eBsJuKFvkUXWG/0vUMtJJSoSF8UKzwx/kwbmavLSpFRrrRVWz14UKO82qijDhrXSoL4rVV8Q+z7H2rpfoUZ3sElcc2PoABS6xRPsF42n08AnlhxuzZU4r+4FUvT2HfvvGvcwpcLWcSinQLtxMkiiXoeGEZ8MyvwVDeiA2wQG61a1MN9wzqe4XiOmyPHKQrw8+B/ocsriPnFovjxSBwix4pUJqRhh1/d+Vx94NCDYr8XP4gXs2rU4EBJQoV8Ok+tVbybOk9Ij87aXkEia0WnTiOYzcCHYBWjqnvJDCp9LBBu3w5S3zQvZc1KIbH+dy7Jik=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1778569432

%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

