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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-462

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9495458

%ISIZE%
49495681

%SHA256SUM%
aa3236ce8c118da436b46d8425fe0dc7a8de0704ce5dd13f06cbce5278c6015c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwUNUACgkQeGxj8zDXy5K4Tg/+Pbp1vizSvG5dBaW3yZnaNkC3E+LCfV3+NKGXyPG2iW+zeO3q6lXw+CYSubLomMUp6x9GKhXqVF09xWYoaGQ/pZ+4wHvyaPiR+NSUOrycu3v3JAauhmXHidqb5c6I7Ttt6vJ+2P+smEYUD3KoU30GBTnBFAFt4cUUOJgGQCYzIVpGf+++nIqrr2poPya1+6MzJlL+wy1AcRMhRL9kmCZfwPhjPoFcccS4yiUjrx/j82bIJcE4KKGZJGemiHHFzoYFDp7tombkOsDT2ZU33BRVKFh8jvb9epo332HliDIWhADN6+DwN/sM1F+SaHG+5ZWwKLAXYEz4T05pZBdMnEmMIkjIT9faIEO+GlpAwX3J2n5UjTV1ZnS3hUFWGJIerf0dNtPBlSP8kMfKSiYFh0xUFjkwYiEe0KnwE8yc4H6m36ceK2FEjnyAJSsf12FSZ8igmPsIlSKTb2g+jm3GjkjImZryTj2Viix1EgOf4UsKscvHslfnHgjtciGI2hXdGcuNxOkL2Yit95bxq/J6LgbukjN0CAadz2gnAaWlSNZshySDIhc6ZOqdFG6Z9vVh1kPTQT1LPsp3LfWdkBLtWvKGeeXXGvjJjr60eRjtnCPI+yt8283tK/ceoC023XIqe+3z9hzPiM1ZKIElTQy7WFAKzh+G7xmHFzgIBnyStYVpcgE=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1760579338

%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

