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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-117

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
10677686

%ISIZE%
57866351

%MD5SUM%
22d9bb0ebc91f3eacf4f90400674c1ef

%SHA256SUM%
ecb5c668d97c3140e29375c1971d6832c055181bfad3fc4bd24b6c66d30d32f3

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmSHPsEACgkQeGxj8zDXy5KekhAAlJ8ZzcxPrZoXos71XccMU8gqvPWgyLH1XzJjl8eziKA66ctsUIioLqsemUCCA/7I6TapJnjmtBcvWNE6QzC1aasa/VS3EhMNvB5juWJU1TCVeHWLJVbjh/0jsuKxnvCKUKvhiRRXeWtgJ8jpxCENseQtcJYgv5rSn40zNVUMf1BRXro86SrOhoilYMw+ZSQLGxywIf9Fpdr9NffNTWm4F5j00AKLfxS/Se1Ag4yNesNrWn2YORa4C9ZI7jEE4j/iETdWCDwTqdJmt6xcTZmVieazSLqVk5gOqCYu0rXjMFbKw4yOv1veRey3iqr8SR1HpEweQqWnhxreuEiKjzO/kBm7RpL+XtNVRMd3MUwohb/lLi01ksl6XXk4Oqqa22mq5DKFuE01TxvjW9Ji9DONLv8HSPECbocJMpX9YbGCr3Oo8WzU6/tVVcjHKFcUxcHQxj+E84la90ziugjSfMviHb/A/lpqsSDKGQstN2JuLdOiu70aDkXzk8SjglyJYnFJe7Nid7kyKDwDFBtS9wLlJnhqVBQIjj60++Y+MP6KbY/pCyhbc2h8mIqDK7w0RmCzzW2ORgxgNUj1h2kOjLGw5QPXi94/vdUD/+EYQnq35S9DbXhSuLGWuPnP9+M1I9iByOTyGz0CmHf+s+0QSAFxAyFN1FR+83g6e26ejyA4CLY=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1686584385

%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

