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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-461

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9493483

%ISIZE%
49532999

%SHA256SUM%
c4c4eeadc7271de116ff843c00f00cae6ba2b0eebd68a89495025dac33838f4e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjuwoEACgkQeGxj8zDXy5KwNxAAgo293e23R37qXl7zJfIV6UbpF01k6C2uos0nxA2cUelzg8+z2gKbCd9upb/pRZwvnDr8LOLJn/w/3DBBLE3o8ALpi3fv5MUfW80ejm7OfPfLQdhoPPs3fk6+UTmX7ZF4dy5hfWc8AXYX2GaEaEPkt8Y90JW3w2ucI3XYtQOz+7Ge3qGH8vMDwVc3O4X00bGM8PgmT32XuUMMk9m5OVIvLytEMHwp38Ptrtk5LjRfBKxqVpatsucyfUATiSuEl8gygcT01vEek82YOcxixajUT2NXlE5o4Dj5NU/14AfqltfnBGXjL3nval5H2DpMPkDVydzKwcJMAQKK3lqQchSiUq+Lui3I5GjLF4LvTGL4sKgLH4TMGBrVQfCJ4zYABDOtMJ+7KMVo/wgZNQH6rKbXaZZ1MyS/oS8mOut1qhqK+gh7JBX7OQPuLW8a0TTF3X1nFvep+j4i88NVHLnz2JAw3XCRXh0r9skX31FgETjvbAt6QfiDejaFk5EJ8OGAtoY8WpaILMC4gReE/cprOSwMMxICCag/BlgCVW5JRou9YWt+tOL1afZ0JWGaXQhUmoHdKSEgBcgTsUlMMVi3UTv3zebbyuoCYLQyaBTxfnr2WaEoyjNiCLlfFCDbUrtfC7yjrQ2/Hs1JcQE9kkoLDDoPLOb4jTuZeUJl7k9ip8CXrgg=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1760477289

%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

