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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-601

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9503219

%ISIZE%
49552654

%SHA256SUM%
6b8597f161bb3babd98d9438397b2fadce5a0f854f4eadc208af2e6dc7892ced

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrYmpwACgkQeGxj8zDXy5Kklg/+KxUtaUv1QL7UEgvf9QsBtVRS/APdhmbIvnnb3iFPNT0VzDklI9bJfYbSTMbL6iihEPfYLmQXqs+RAWcT9+g9uOwtOFWcFuuXfCtJxuFuJRaA2qyerDe6oN6Fn8aXj2IopvQ0HM8RuvwEg8BnKV65iDinnXjbVV98yCCs+ygDK+aGyNz5t/S8D2PCnYyV60aQVGBmbYqR1ioAYknS8/YxRfTcQ5K8mF6Qlrjbl65Y4xFtzjnBfpellfvvxmIimk5hkM6eIhTLacrFp7Jvoej2Fav6ubgb8S5AIQTAKNrAnbMvbppUbK7UShzzsA3Bccwzmv+0vyV40LN6DIhdzdglBvRvwP4DWeUoRtXCDEdZiD/XwCJiW3JO1Zr7N0S6Py6KDo6WBtg8SwlUPa13D7zW0qtssmeEhwxOj/bRXpAtq8uxyYkqcPSqryJTw4nBDQu1O/Wn8lbpO5smwJ3J93UOe6Ih82La1VdxlpCjYwVi7JvZbBBKT/s+d+6V0ckXeB4iiHBrNfv6Uruyd9ed0m6sn0B3+xLe6y2gnpe1ZzZ6mEQrp83LDKHToHo8h4vqO3rslXKAhx7DMxEhYpLARPxg3eU3/DdP2v0kl24B4MS7dHnAZmCNqyk3IsWmwiIm0lszZLKiYA0dJhbTyfbBG+825nuTY1QZcIYMoamKEqTLi+k=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1792579886

%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

