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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-584

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9502189

%ISIZE%
49553094

%SHA256SUM%
95c8c225e9c7fe86897487abc77b436a3ac6fdd8d97f38a4780bd12996f0b723

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrEHB4ACgkQeGxj8zDXy5LCzA/9HL3UvpPx0XaE8YcpSTbGp68u1X1E2mP5PR4n5VmhmNPmpxLh37UYhkBS238/zu+pdflQA3lOmeHinm9fdO/8adv87LBJfG7yGLV0Uce6FiAlpWaeUpPcbEH0Bjvkb+dYtskkTHIZsnn84YltQ4gPD3F6530iY4aRo0efs6uzpH1slQUgN6A8Vs/zt5n8ULqRXpe5I01ZNKE/14LXAK8tRWwD5O8LxJt/feTiWXQFh1HX9gvITdzKeyTqTTPvl7DcIQuxaCpsrO3Hh6BD52u/aI8LKDlfNuekRwQgitBJl7kZU1hnxYVIL1NnwXqsZ4iT54vWIDdjS7DFGQcKnsVXOi7zNgSW0MNCleXgy0aRx9hW/mgC1yvuWCLzJbyrF2Xu3XKV+kjVOc+RNNdOsV/gm0pK34i9Yw9E+3lvMF7dyzVOC1dtgCJlmcl38ay+9fMgmtqJ0BhapjhzX2t8vIUcaMLOlB+3LeqM4x4ZtfKO80b1cGCx59u0ZHAs7kwxxfKKNQhJr8yaBmUCDGlUTy8v4kInTUL+2sZf0At4HbOXXzgc5orTsoYnzCCGsYW8hmgALb+6ec5KLpTVuMDI4NDbGdgmAAKNsr6eJipO+dFTlgceilpb5vhmFtLhT2RXrp3TUcSHoiW55m6u33HDTkKu1qg/2sWzLOzPswkYq4w09Ls=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1791235535

%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

