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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-585

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9506003

%ISIZE%
49516555

%SHA256SUM%
54962caf012829b8a085b82c961ced5b8bf55ea9f61239d74dd510aff3676083

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrFZiwACgkQeGxj8zDXy5IL9Q/+NddzqwRlaV/15vInnfX/rjaJbKkV83Vpk7ihHpWdUObEc6/xrYGnVt2v46CSBXivKpiJn/nYzyUJzs+gnmDvHb5JQlfgDV2TuL6hp2dFxE2o+u3Ttc7ZDSigaGnOiqsTciKNLLaI0b5PPcfkxmb4vTKvqzcekLqoKHz7RkkIDdJFdJFwL1P3Ad9n+bsWqT3X/TaxizvMCX7rpqAu/LfKUiijvfV2P5VXtQNlrKrp6PdFx6f0Q7kp+hdmDCxsZ9qpjYdn8kz0rkMXa1NYeztttpLkIkpxmgpkhWeQBDlDlQadk+0g23GHcuypi1f8jUbyK90m5lYqhgNTWr3IXIbpolob5H3d3i/YxTODTcq2wzkD2FcKW1nMurHbOPGRwGQ+F+lVdFmu92PhCKGETInv/lM4OYpJILjailCnRdbcFOeaw5ZryVcjYL+xZ5h0tAzUgnrc71T+r3yBva+blTz+6faVCo+jTGWJLiy2oYiNZJFpEJ6UGRJNFQ15+74p+9t74MIGkp0pV1yKzm33BjeVpSz0S4q16vBTWuBQt/afZWFj6wZIeJjOz6jRqlr4a/MugumSVYr7CeeBC6EXRGYvv1zSoIBYGmPr5gi4HCu8H5uB2au1Wc6MGLaSsC5vZdYcQb1Bg8MEcqyKGJbil/JqpIA3LJkUVVN4SI5Uc6AXLTQ=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1791320911

%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

