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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-416

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9581613

%ISIZE%
51314385

%MD5SUM%
1afa174bdb09e77dd6dd82c44ae790c7

%SHA256SUM%
2948105aa07a14d8d7bba4be8068b6098924ad2e746564d0aab82648be70aa39

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjCtu0ACgkQeGxj8zDXy5JtDw/8DRz6w2+cNkK+AfeSztj86CTe7wfMy2gqWgT2VWcK3Po2xjEVNG7dfwmCA7zudr5wgZtas8QdwaUdWKuUDBN57mkQlrdnzGdl7bcGI+94a86L4Ij8BMoZ9amlOmqWecoZy9HjOwykIb9Y3X81niMolt2KWqAqsV3gEz+S6Dr98ZrfndkV+VfPUsNLBzPNTFLUTyA4tZLOU/1h6hWYYs1eYrIneSRKKJSG3ygvt5FTZl82P14hPcIRyiUBn7uM8BfblPT8zGycpJUuwTsqZICWpX6h4bneJrZbsHOjLqSAW5PRD3NJ038CgCyS/nRT3qrP7mnG09R7vMIAu2m61j/gNX06aZl4TPsrSmzNZQ6tnPJO92wjpoRr3/l9tEv2xYzWPoT2jEUnXGoUGyYnYPn9yS/WJSubSrhN8cV84PqSi5Cr1zOKPX8ve1meQQWVcUVpY5F7+gq2P5GmRwvN4kn0A/FJmYrVfYmt4Iq3S5dq/LgkO73zOqObkjDGlVtPOCF9FtVWr9DeDZkKbqaGtMzuZs9YwDsHKMN+hAKV5UWO+OuuqW3yBSJxUiZ4w1++dO5b/dGo43ZOHEuR/VwxuuZDdWZ9KjMSN8eNHKMMc1d9rs7aePU1PSS105rKYbUCSPzMgLq1dJIITj7zFnoJqBlahwsXBlWu/BOqGdrKiV1R84c=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1757590707

%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

