%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEKMACgkQrx0hme8KPM9tCBAA1Q17pbnVXsvJtldybNmLKrCfIOCkmPODm4aGTZQkTkTpQpAwB1OMyNu9RlbM0zzbNGIXPYWZ9aUKMpTObp2E1q+ic8xdnRQeXAwVTJGX7FGP0QNU/bwL2BNMzZpNhmjDcTudXVYXztSRMLgoBp+OnrSDsY6J+v1y9UPem+hf1rkVw97TcNOL8UUWIfhu728SJrFcHaIKldiJWx6fv4ZoZEQ44YCrSv7Zc6ASwkFrTFzU08FKGduq9dlyjrH99x4ELFKhnACmp0mHkW5uv28yJNG8Df3Ch/SrIS8yHbSg+G3Gtp4T9oYo5X07jAwUwi11A4kZdYqWNgbDJdtEOLqvwf1TukvTB4HeT4WEiQ8sjFg9Zm0uJZdoBZZhByGHXiao5JZjfnJ4U5U9bUjz18wHdd5ct2yzLxn3eJEwDrcRLztmpWMG4HqqbIiLgoEoCKoYz5gQIeKzFhcH4A6+Sgbz1JhpQDCWuW1ChvQdyFhaMsogels/FUxLvwRdSqKxmktYw7E/lWtzWh/9/caslyCNnRU/9Sv5wShsS1hSxaX322uAm5MUUis3NTn6iLCfGxx0CVXW7HYCexw9qBkmW2X5Pqkbcwd+8wLSaznkehrB4qWtHSX0uX51ONPJ6M8yapgj3OgE0rql9WGpf7F8e4WoQyuvM0OmqbZS/wZtnquMs6U=

%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

