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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-583

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9505335

%ISIZE%
49516668

%SHA256SUM%
68cbc81a9a229edb80ae799990bbee46682ab3aa56f92de1fff8a7c70df54036

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCjYMACgkQeGxj8zDXy5IUng//RZmqLlsxrNIU7w7sROWutmTQBeb7q3rbveDXdfE+n9/XkdZdQ0OUEtq5FpHN7LRmzGhnAsdSIPGph0iyz5RWx7ZXFIw/L+1GXqcrb9hkfEd1JuVKBZfX47qh5OsN++Pgu51MWHEKSmir7rauRo0U9JDH0y/Eii27EpNdI6Qoc76heCA8mBhOL4Pw/9CK2tpSfaOd5sfxDgvtR0hQImX6OfMmXgRs4pmjpyBDH/+gZ8rae4MWXYkJG7GPOLrfP00Dy3CFzqsTwHfSx6nuh3jDEUwglG4Q7+Ueg6CR/Nl2ne4WYAa4yBjJaZeWUrr2DqqK9gnu+Urw2gyU/kUHKU0rm3oNThj0Sq6O7Mz40XfM2ToEXVYSgrrHFmKuzouj5TjgeoVXvlKnzZe/qLcNaROssAmgT8Bdl+PNN09U1D+LlNhydS5S76NvncGLOtpS/9x1cyOxs0GuMJXBbfUmg+5sVDKVAPCM+KIvj1UFZFUkEaOod5sbFs6awrhL0nsw/8h0XW7JMCuopeiGMNP91cVc/QK9o8xMpoco61LedzDM7W+eu1MIZzuTngF5i+0tuYwK3JwBJ1ERRgfkBrd+J40yhSNtNpVuUqiPkPHOdLMLRK3yuoyLd4GrBNWaEjYmhfwUc4l0+4DcVx/pcRiizEoVW7/M+1mOnwvFyeYDHTi8Lsw=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1791134625

%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

