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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-55

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
10678151

%ISIZE%
57821676

%MD5SUM%
0d0dcad48971e19c6c0bb35e0725cb07

%SHA256SUM%
c54f3116e82762f8934bd9e4471b741c14ea609545cdc8c63367b49dacc1726b

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmOG/xQACgkQeGxj8zDXy5L4RA/8D4+Rfkt8YmWJBkEC7EurIcEmwXLVhwIDeRx8awBgx9fTOemMWB8wJJQacwokc/HPClnz+4PuUE2Y0aQfvPZsSas69r9tPVyhKuB8+kdYvsLnRsNDoaefQVT4hxwRvxgKRqyHHr1eR0HAjd3UvACRevPZ8gppIaCc1DfHbbvrSmT45sfmGCr9IS1TCvQXhtgf3w8+3wdmpdKMT9hb2nj0NoxknSDcvLOgpQax8LE5De25zVH7tsMmSJNiSpA/tXZ1VJ+YqlbXOFbBPK8ssnoy4AVZqHBa4OFNVTCuo0N/4FrLtq1CBChIUvmDjkZ0qsq+7qwZ5P+68HYl/3X11fyVKJXfp/T9M4gVHmzWq5iXfS3n47YirtmOhxrZEsuvxEm2ky9l6tYss7j9qNy2GDnS1Qiq2JsUm4Cqv8ag95tD641LJiY+P1fEr6tY/oPrfhVFrlcpYvHDoi9G9Cvs6KuzMUIiJ5HF7GmFEkxyupmyFjHdFq0oUeCnv8aKv4bYpL/ul8H6cVY3TEbzpjAYmiyN1WQ2YqaH0cMJM+Y3EfoYk9wmazlL8mgAnebTsLoZhKt6Qxu4ClAgrzzMEifHvQHHkZeyleP4brgwu90YEzgpeOWZHfzgKX4yL1Of9BBtcpfTVfOx7jHpnqhI1w1qNFWQqwL69QOPYEXYadt+DFNEzVY=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1669789644

%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

