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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-459

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9580396

%ISIZE%
51351941

%SHA256SUM%
74ec0940a63e6c59a536f466e291c5632b77a1e0f6e8ec7e595383948a08fd05

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoWfEACgkQeGxj8zDXy5KKphAAll3MDpqOgP2njIkE0QiUwHoG7zFclf/feOJpKNdq+oVgXGVxEmOBxbeYZ64/DU8jlR/5gvyOWOWFglMmUfVIvU981/IqnRZiFZMsIM5xL6SBm+bqYhgWH8r95io58a8msQDnqj7tkCw0JdeYOv19vmwTib57b0SyhBuTI2oCWGHNZbuV047r9K+R1IxCoCy+n0vYUKhCp3vipyo9mu8gq/7SPPOJCwwChIGv3LZgHIR39oUL1N3aMOVDl0B2sBeDr0KCzF7xc1bi5qFN8CcasEWjm013ao6JgfCYOgvyDML4tjC2WCr3+sM3fSPNTLhYfTKyXgGIDFJT0bNCJJ8QUNSzrP1mY7LQZfjWieYldWogsDWPpjb8LvZ5fS7VmiWs80HE1TiITAZOFhmnJ7mBaugt1c6CxL/j0+gQlgF330Sa4MzfrqGgGpv/97Evb41zeKZkkv9AsaXk3/YiVV+wQC7z9H39TW14ZYiyRg0VI9mjbbnBEofnke8PIA52nHr0NKME/NUyPI7eAw8cz0LPffolujUcu6FCLSv7sYNxJB/PdcCdY0PhBBB7hD0TI5lEG2E0W8wiy2Wes2nlfwvfRLVf/o+7OKm+/o9pwnnzoux95xJvjpK0yxrWz/3s0yDzPm9moj7BmNDOCV72X44KibAveMHQzbvDnAB6jfb189M=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1760057320

%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

