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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-47

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
10606993

%ISIZE%
57756418

%MD5SUM%
50f03525ead4394a731a1990815470c8

%SHA256SUM%
8b134358063647b06ee44acc2295bd6fd901caf4dd435920f4e45af4c6f1a24d

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNZiD0ACgkQeGxj8zDXy5IfyA/+If75059q16OVMTekdEjw/L/MxSjRRdQ5KESs+Ly0UwRP4qESwGIjlOGQaaFGmHD+Tnw98xGvz6RMRDDPDoHI8V/0kwDoJcSdDrz69CM1Bn2khcqq1ObjCoAWFLb3xWrrDq9gASNUO3XOBrpuN144VRDiRXMcIU7e6pOAll5HGHG0XgrkF6fNMRTztL9LgZHai9e93mUdXdxeEF4iwJhwu4oYkfyT3HqGJYrX+D+Scxv5WY0KB24en0iyu+4QNryTAomRtL4qCxRIizV5VOWI7kQIEX6504+Y3My9KBtKE21oLM9RUBWYtHFVa997v8tRqgYM3+3uPAo8pyfq5l2EuwiLqrUkHbnUVpbeD2Te0HdkeqNwGcQGwvZZW00j6mw759QyLaZLbltkVxRyVTt6ytcRQrVOf0NbiKouTRCjrVu8iV2oUVtrFR0b6F5hVZyeoHw9AiSQ0Rxh6XrdlwNoLHLW+GDZbTHrzdqDPW3v+G5ARnxNLifi9PXGu+OpWvZGQCtyCXezLHJK+skPSfEjubKbitMMMGvp/kJA8bJahugcX+Lkik5jeMyJIVYFeiYf7CE3JltRD/c01vfZKpeYmKT5fQOd4GMz4qo4QeWGqa+6++JY+QyH7CW+5etLyauiD6Uwv+O7O8QTnIrRv5mOAudzA/njhPikpW+guzDxBu4=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1666810313

%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

