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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-556

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9505171

%ISIZE%
49515534

%SHA256SUM%
1c9f8d78e1048948da2f170908628acebc017468e5fe79434a53250632462c4a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSlAUACgkQeGxj8zDXy5KQ2w/9FEV6c+9GffyzhnKTXqCpoHFdhjdY/94vaD0/cpgevwTEGDOBs41g06AHJkd/YHrWCfVY6dKYbcnYYT1K2eXk9wz9wj1Q3BDdxp+ju5BwTWSN25Xyt90Lm0fCcLCmAwkX7y/7ILLAQFB+xBa8lbvJeyNHUy1Dpx9xQ30dtAF72+pMcAcamKTsIS3FeEkexuFrVI8UJNblpcAjrqe7YI5titYa7/g8qYE09zm78zGIy+xD0sPP+QmBYlrebFOjR0bTtLTJaz4JWrL8fYKvC+70+yJTDp4OzUrt97X8S3z1XyOLAIsZcfbVlujwS4Bqc++rJUD5AtNuKDwCPm1rOLGDA5fyaZZgSgdnpaQ3CypiXF324okfoYQm7KsEHTt8IxSajXdY0iIxd9VWeXNSfXABbapPfEX8dBdRlLGRp5rNBm6JrQDu5/wxIt4aDYLZo8+F0o/vgPQW2T2cjxKmwoClafWkwV6p3TMwaXu1umoe9k/p5cuOtG2dwLCJtFK3jaTVqbMx/zaB9As+J7mjtMyasylr6Jn0PNEqDBKASLmqn4b4x6HUi89BWgb/LVVCTok2iRP7q8qCKLuBPZIhy5LXhGpyh67N3vhx9LqqTIAeckc42zFVpXxsvxByTUc5/9CrBNd3qP8CmHpOSU5HvNd7gpX6+4jFDsCzmwawJJXO4gY=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1787990609

%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

