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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-546

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9503849

%ISIZE%
49552686

%SHA256SUM%
eeb4b8f419d12fcffae72b86b231909310881c52cf2e66002bc03a45d5d182c2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpE4jEACgkQeGxj8zDXy5KZ2A//eFWDIwAIX4+o7rUnJk0iHbplBWF9RnZ9h2+fOVCXCAiXdGCvR8ETq8/eqDPfraACr45sQZYFJXK9QDfXsTaIb8Z8/0gYNmmph2aVZh2d7RP4/bYfna8P1/HPPQvcwGI1kq4nz8OuPMC3Ti4aZ+A2r0BHXmbh3KvRv6pWRcK8XCkzVn1NmZ/xBDbQbMItvIwneY5Bivj/otTuCkLYZx+j1yik2R8oZIg2JquH97Q/rFlVcaGDB95GNQLVi+X89/H/3qDFnRxZsen3sUM2r/nl5CMEXsTNoaAuknMw6ugjpVYmmVdpT35YedyQJuhzlJhpNTUJIdcLPo0/O1+TMo8CS5ZOA6B7mtuz5UGyDEVSb/CMjJda5DVtpNCQBMaioqyQ7HSIjs3xWH4jCeH/fBJMkjErP/eGvFzUKMyy6BFri2Nnt0FeLuicoTnNpqPp76WdqEe4c0GOH5Ndi3SRb35hnFtFBc1wOQU42BMaCiqVs0YZMyjt5EFbEQoCHQKZkOho6/ThG7crjEhxT63dAgx2zPofcH1qBHrUdwx4cfnkkdCdukD3DecB2YXJp1zjN7/58w9g2tt+mD+FQH8kUgnlci+bbjhZUkWK9j/beA/MSLtA1+OVDOd3ViZSvq48X2CQmxn4YEaUVnVWqdrvW/EI8m2JxaAIjHBvIivEfCRL0y4=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782898810

%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

