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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-564

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9502582

%ISIZE%
49553232

%SHA256SUM%
446d2ae9e30690d25e13bd9fdf6cec337e730c1ce7f0c2c33f231066d4ebdecb

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqpifkACgkQeGxj8zDXy5LNcxAAoCKX50Oxtbx8TkdahowPSnz3KEHwNxP3h5zjqCKb5RF7t8SRbRhanajM02Cov18JL4e1X0Pe305458wSXYKBNfqlMZdoV5nyMexeqZ/oEevtabQQuKUKrlx3XcX5Qc+NVqucAJOhQa1xBNi1kCg5+izpiSfhjlJsFQlm1BRvkuVi4UScZiLF32MLkG7GLWGw5786S9l87tEYSlPR3BziLA0nesJqmsydY7IbSWFJOFpzNOa/2TaM7YrpgisYTXKK715LIVqiNJ2loNkkjdPm6D0poitT25AB1GVV4Udlsy16d4S9STKvk+ph6n5t5bkKTB+9Sg60ym8rzIKUM3+VWMUm65MVqWdaHUr2QgWM3GFymwNWvPYiIXAzGR09i0fi8U7gyS/HSHafJqeNlvcUsjZ1/X4XUyREUNMiLxO+83Je7RWM8NyfHNg0ev6RgBKUxY0pNxsE99kt1+N8378ISJeHTdIMROyf/Wj3PUj9h+awKEV2yWVnaAm/zFTFwDq5KtoWOXyQutaypBuFEuOrRDNFZUP8Os+7G9H+77olZand+aUreU3M/LnX0lma/6Q3d9U+FHBdhAHLafEmswc7LviWA7TlBRd6assZuMwaJYMm7ibkddIsAOmfeoToYLig4dhX1zMme5o1cZPBwzK4vP8ZbtnA6JNfXcNaneKBXug=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1789495367

%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

