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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-530

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9503641

%ISIZE%
49516351

%SHA256SUM%
4e82765754e606fbcd300114b9bacebab72d0e864f21973bd148296f7f25ec42

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo5dNIACgkQeGxj8zDXy5LTtQ//SCn8dP1aLH1FvcMNOi0J0mHYiFCANuP52PHvl4JRvXG7v9LGGD6CNQn4ZLSxjrJRZTx+KtXwB2NOv42BTFV61SOM++vO4eFRvJ6YPyiCARPcDnkDABPas/vdh+iDXy3TQOyUiBJ46bjosbvxLX7GjrWSR7ZhHndUpgGqLSOYz97lGzp48rG4HLJPoWR4GO6CwOdX1Jx0YeS3z4DPkckMSHfaOfkyX8ria2rQLv/XyTc8ZcvreLjP2qKWSLTwUzft3JBxLDamm8SoQWRmQkLY9F6JV4n8jJQ3YOj6qx24ZK9uXcIAjiWHtPIrMLnw8C95o9LBclCcZHREhkA88CKkrNK31EwmQSK1vbW7j3QX+yllEuRjzYOt4F2PNOU6TEqdUVwViKIJK6HMazfusye53TrofLcHcPuAgkE9fGMUOe3Dc75Xj7ymW8qGcBPsESMuYIO9rdi2cAbo7l7BZ7u6heTXTO48X/AUmrU/4Z08CFevKTNdSfRccT29zoaSTk2sVDutZM1WRv9Hph0uzz0E3XmltQIJCtrcI96h3MtWFVK2xkOSmwAl4zxZ+T76ckKEeb6EkfWM1MnTX4neBnmGUGK9s1Uq+qPN9Q54j90OnSo09hFqjM8EQ4fJyJO/QNpdFjXc+Y3+yYyNyg7/CuP4DKg44/KcYt53C2RPomnnPME=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782149872

%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

