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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-612

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9505323

%ISIZE%
49585171

%SHA256SUM%
c777e4942824dcff980134ae5745331894e28249b2eb47c95d9f698304b8e974

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr0VSsACgkQeGxj8zDXy5KAXhAAnurJ8Vv1PgksJDdkpMTMuS8//nZGXI6BnRe9n35pLGJIH1TfhGWmmT+wSdlhHKYVTgqlrFG+Ql/MZWVQUH7lwSvtf8IkDXuC6lcNjpK4JxJWH0E6F8TB6a8NWVDJvNAuI2C4Od8Ac0p4VO4+rHyZQECFqRH7MuIglB3QuI/HQ+FmIHTGFGXZRQK43iQqy9tbsVCAB+EI27YetZIPnHEPlFIPzlfzhBFUsg3P/ty/IexhwVwbGLZxxZ4sx2yJDFZfBxcPNeBePwAgyzTByS6MupK/svrIryguhi0S/WT9nSvN2Z5mXYRzrB+d49BHUjxRP0XZOICsKbx3P6P/grapLfivGGz9Tc9v1LxiXE6J+y8ZIDKqs6WwLuQyiX1W5zc3rvxJWVwPvlPnBRyWuYR7D3gO8jPqMk9YNxE0AjE2lMlbli3r8Xo6ZWnkK60kqnL5l2gdSrpf3Z3njmKu12dS6AHAnQ82RIHauAZks42alh6lKhfVG8/RCm4ccGLbidPnz2Kvyo31Kp3McszllGRVxzOpqHg1241oSS0Edf8pq89NCgTpbVQCrowApN4pH+2FpAkSEEHIlmLvA0MZt1ouorPBn7Wx/vYO/dwi183xeGnfaijZQ+t23lm9NUt8ARJ4g1AXeT8T3zl83jO25zSNYm8ICfbsUkU6EmY2zkWM6EY=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1794397113

%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

