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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-547

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9504458

%ISIZE%
49515145

%SHA256SUM%
fdada2bb3fccf8b8f2b40814152bcd96d9e915e80f229ef4c8d70efc9e7fd9fe

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpFgkoACgkQeGxj8zDXy5JMzxAAh3ffeg7J1YublEsOlPYVU9JILThdjOHo+A2q7rx+pQapZCJxx7jsZUd/BfrbkCJ+/QUR6Zf58f9q/4Nes1ALsdIPk1nLdGFLpQQxNFP/NcoUqWJc8uoby4wcp/M6eMRclKAR86Bycgvk80ZF7FLOgv33vLXboVeccDagA0Kg390GLECN1m4MFJ4lBTZYfCbTEqL0RttSqB+i/K/EVdhS5/Bhzo7k0vxiVx/TdeWqqO9MlEYNdDK/r8B1sQUAo8QY95A/prp/4XzP1fh4cJ7SAZYJ2ciAcJn088kErGCiylKTQpBYkIXY2kvgcWhcPpb6p7gUtyrwUeVknyqWDBvkagieudmF+NyJbVjl5sSl7XipGg+uGXwpYheQVgr2dBTnuBsodycZqNCLk39m5BlFXEKUjiO5XdI/he0mVA2R/HwYuil4TNbzdDl7lxrJ4dZbqRwScCTY2hImt3b+MwP5iaeLSEVLbPQC59FheAWUbHifYM41uWblqj36le5PRe/R0ka/rtmBu9spiMqkh9xb1HteZT9LExDCz3Gx+1HPCuxpDZUyq3yAraoUggCGgViMdeIThtx2FDboHej22EbjQHXBa5W4EEISOr20h08AJXC8RCmiDhhMZQghh4i/7lwedLqwQzL5jkJwB+wuW8QcyB/BUjxXF9tdy6c6rH7icBE=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782939755

%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

