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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-560

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9504926

%ISIZE%
49516315

%SHA256SUM%
e1be95263546f9aa7e8c6b49a317400bff844b7d9e3cb989e8d4561cd190128c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqVduEACgkQeGxj8zDXy5L0+A/8CPWLaKUc7jyBudRxWYy8pazszJDCXZYdIKahpaDkLzeDatqN7sBeflNF2+jMkeTV+01d0NrQrR+b4L1qRBQxx078PeH/+L3r/+QwTp3zOgJ6A+Q3aKaS8v5hA8v6rzXSXc5nRT2fUdb3hLWxW+3OwYosn2SALhL/2S7xXDDZ8+ngc6G2SDm6Z4fzr6Sbtfi0g8kk67Cy+ZKX/qzLA6if7XhZFPMg83j+VhS0TJLB/Jm5toS2sWgCF5qbPanNWY+wpB5xKeSl6KlxZ3Hw3wXRVJeks1P4Oh/XNRwf9KNFp1fZ8bPoZGKnp4pTmvmfMX5frCryAC9Sa7hK50HdI9yyD1xVCMs/Gialkw5ZBTWK4joYzP5t8iUt4nJwEp4WrdrXrEpaTpNyVpXUPJg/QbmX+WuZh9kPUeLMiTiVooaF1SyAACpQIYsHpvluMvKviFikzjXtns8rltwVZRBtXm/Po+Nrhh5j1JI1GRnPhk6klhsHyUevMWN/G0B4hcOkOzJuEc70aviMUdyd3+Qhe7JHWmlI7dFTgPlGXr2D/1e6NYlQftkCNnbAkxAgyfg7tiW8DAJwtoii+FM8Atjrw8BfWBbp2A0FmegWALJi/WLU9svxje+e5ynkN90RpobjLaMifAJG8X+zZEHCoPMpRnI2I7csDyhlS7QsbqlCT/zoACA=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1788179765

%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

