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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-571

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9505648

%ISIZE%
49516085

%SHA256SUM%
79abb75e0535ccc11eaece1a444f24e690fbcfa7918b48ad97823ae1ab01d4e3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq6AZMACgkQeGxj8zDXy5IaMQ/9FyQzDLlakxxLnq3YXOpZ6QHXErlQL64krsCHqiuKqc8aEoixreMW88HFo78N/DVc4bSiKu38iW/HceM0G+a2u+VN9kMPXKahUdC7ieivT0KEx3lXzStbjrjCBdVrTNdG4tRW5E2pZjZyFink2OWAghXkDpQIx6dNfg/RXgG6RYc4k+6Y0LFuMwZWPkCWtwpeP4lqB5uct6u+MykURi6ayuXvwBZs2IWRyKaVLClaZpT6jI35Yxr1IZyyWzBR56ISkMPaaLvezCguG20EmYjVSLOqq82ET83JxJFU8eBZGBHVZK3DYs0XzF4auZlx/HivgMPse371IQpY1Kf4DklLiqKpyguzK1wmngjtJEIdrSD9Anoi07unBsg2pdABKrWhSjAtuHGNuHlBrlCGmwV0tMwtKzc00IfZPG3sfqRLkx6fXQd2fVXe/1byAIdPBKfjOoG4ep3133KCRvtqdFYAWjpaIN72gpD1POFUAY/w8aZK+V3ltEVovMqhcX/CZObOC5p33EhAYYOFhev5ys4KVv92x92orDEQt5hU2T33L1iLSU1Gs6wST75xfob2UNMmiqaJKnIzpdA9H5SaMGlyPzAf1wcJ/ON0ME3HeC6XM8RLrO8Pg2VZ3GvHh0saE3XZ++y+z4/DyPooATuB3/Uqwmsopphnx8WRnN496P9vGlI=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1790574494

%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

