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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-529

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9502405

%ISIZE%
49553073

%SHA256SUM%
e3621b0776c0b32545b6ab609ca7a0705ac08be00d2fae8d125cdca3ce791d1c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo5AYsACgkQeGxj8zDXy5IVtQ/+NNwsAoyYoW/0hjIla5w0l70OeRN7opziyaHun21492EMDdKWTYnx4riAiQRkxRWB3fYZ4xj68tZQ2I+yjx0gTVdyDuKDn5oNz9Do4EONFWvaGZkVJL/uBKXLCb4GlNc/93LFbZEOa5KxE0R/UpQi3jJ1Qo3g5W21t8WQPv81D7CKeGl4ske9ijNnehegJw39uB7jUaZgaAvw+FqzwDnqlP3GbVSR+3s9RNGgIQaXDFoBsOU32AnjJmc8IKfcWbP7/xbT/yQ7fomtkWT6YM8lQTxMrdWAxD1BlW5obAIZENP0/OY7p1waJ5fiXdtoR/a6vGkhCEdMPM+Sx80VbY9r9V/Hz7PoVDRpc87OuWyeWdmFTj/A6p0jnGyMYy8HtAwI83cTk9hmrcK1phixWX6/8CRYqmmV+xIELlNntg8Fwruf0NLgEj45h+gte5hcf48qSrToOpxrIdgUUgXbK8jxPaGa8eD4+Dp81FwQo8gZWgTPNltt6nNUWIWpAwo8FhIF7SuyH48p4ultDI5xt2spKh8gBbygk408wQUjRL8UsA7M4FqWX9vC2hS4RrlVJflyKqLmNB2CaycmWkOVQJyLgrCzht7+KLJ1+5O4VEZflBNfxjen4k91ksshpFQ0uwzrwwAHgIt2ZSa0/4LAXXN7NjJ6kGRG0TRYPvcZKx593u0=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782120510

%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

