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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-190

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
10680517

%ISIZE%
57843478

%MD5SUM%
9a0ea2607361bd219e39ca2179d2650f

%SHA256SUM%
af753531153f829776a55adae22115250cddea227d7cd89b8fb5653f44041683

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXGv6gACgkQeGxj8zDXy5LP8xAAmNNhMOHvsTGH8J4aaG6fX28q86Y1LT9syc9C3ha23CVNkAtKnEC+1/nTFlYJzey6nZE8fPR6+PzKONsvC2t0FQpd5hxGaQkkGi/vSaySEM8JAxIL85uN67pZ8jddAg0cdpBK/A4tLMw/7OhaC0VvIzMdOT4cUNs0g7S+rbuYbI5/RKbQ9NDuCyRcDAWtzzYjYsMWKTL5UJsQUSh2QiF7ozeGHaVaK9SHF1kn/T9GVRS1HKjqXaVp2qThWFwy0cuV5JAsLFf3N1Z+KtyOgm/tKNKG6sVunKmmpofCPBlPKGCD1qVo2yTHsNW1e3UVqPmgrZX+NWKTgtktUxU6k8y5bxG0Wv13FXzv1GsTaYjShfnin8Hu4SIq1JZvZsTO/fXeiNUbcCZGD5jCKTLCIhhgStSzS6msa8sLfdF+9FYEWf1qprGIbd64g3SMrvrgw773EBsk2B1vQ2vuvw7KGeBxecjx/ScULq2od3MOsNxLXwFYMz8699aNhlx2ml8e0NhbBcbnnllRV1dYTmrmE7FdiDp6/MlmqJ9c2loNmtsEV8vLhdQP0puI6IGmO4ioZFP86X4K95FLG2SzX2SLH8JcMS856G809Tuu5Rq8ggKfDtRvppHkx90ToDj9xZ8SsXKy6R2P8E9AJNhVADN5J7tKU5mDxlQAllE8GXo/nRaluuI=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1707523336

%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

