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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-510

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9502279

%ISIZE%
49552662

%SHA256SUM%
e018cbce2f9f762c0480967f5dc93872dd969fb6af6be745914bd4a55811f139

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoEi4UACgkQeGxj8zDXy5KFHg/+L0txl2O8KZ6kYvqfg/tB/Ja8QNA90OaF+RkIjdOi3GWVDr6alNH5/Az26H0tjnlhW1V/SuHZGHMDwVfP33PKbiQTBkg/R5p0IFPlTFWoeKE1iIJ+9VVQfHWjjMBbCgk0k3XUtWZfIciWmglYhhWiYZs17VxgKde7ZHucdTPL/yvEeg2pBnxTgswbPwVhu2xdFs5KBhaURt4Ld7RSsbba/bFeET15sa0hPSIdWlOP//JCNvy7NKpyZfMOWd/061sjzMRvajgWe3zYSzYPedS45/9whZ2Ywx11KqEBSMBc2Kfqmti0mGkLE2aUF3rjV25ee3rBNYwbdUP2iI1pLga5227Ml3hkLogXnK1CX6F0DeT5Xr6GSiLYLX7VlY1vLJp4YK8uA6ZrSC4ftchMq40rwCeU9WYuSnEG4awuiHzluOGVCwVyb6LxkMFZZCyAo6aEWguh/sPF4QoaQMt7DEtGoJAQcFkUR8NntqeNNH1cyFY7hnH9YoJwsFeNnN0pzrizmA+Q6I1Yel7ljxQIg3rvhBVonHsGzYzxPJVOEA9FwwDvNZALfU3ITRch+Lc1k7spg2Ixgyx+MRWsSV366x5G4oKSlQRjx0tpvCBv3RORllICN3lsw38ahlVIuw5ngbkjg4F7Bwvsgf74y/RNQ7x3trtwYAYghWojwZPD9rlb30E=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1778682423

%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

