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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-552

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9505555

%ISIZE%
49515978

%SHA256SUM%
b62d8ba9449b6e0b520d2015ecba7203c3a3d7093cdd5ee8536af8c85000713f

%PGPSIG%
iQIzBAABCgAdFiEELjbYYgIhSC/EXLfyqRdkdZMmtEAFAmpwoJcACgkQqRdkdZMmtEDwoQ/+PrszNDGT7YaSy7qhYkRmaIzl+b98hDa6a6XmDfRwaShgPSrEH/DfASzAuqSFKcDpF+dZfS8852hVqGfQ1BJo3qDCOz0omMf/TBV0cLqmYQ6qIlLU159RTJzeOtkwB4+QOwFk0NnT1DNhAiBKEuKS3QZ5VsFu8KI/DEZR5DeG5G5RkU79aPv0aBYsUyVqXD14nq4HUxOqwGEyJs5NZGS9jchhZJy0wKGt2zgBja7rlzTn5wAwQON/wjPPX5hnTF+QB55m8DuKpxvDBcFwnzYRb3xG867fM0xhEcam6Ngy0pUr01qcOxgGQzKCisOv80d+0Ib5EkUmqriQ0ZCNYRVzBn8FsPpDqrL5WtAxfo07io2+y0L6Vhv2N5TWnd2GMhZ7S72FEPonUSrHAfLYrbbAHh1yLR0Sb8IRLth1BhkByuuRYe29Y6QCLEyh2hBPslWOxXbN640QVvL/kNbnYPG06HqlgDkBRRaP/3kgifGjSGhHlTW00U8hH98ytDwYvXgBZ6iQyMGEfOR8lU/uGRgm5K1ZvECP+EkQOwavHSt7qRqxy/UjlqmJl8m6Hk431K2oMQxLZBtvlzyhqwbmyaodVbKOxnbilBQBPTlntctPZWkxxFmfe0mxFCO60yB/sVkaUnnb0sNuX2g5YI9BKCP70YGDMKhjC7x79AUr2jCx1I8=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1785765566

%PACKAGER%
Lukas Fleischer <lfleischer@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

