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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-438

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9585414

%ISIZE%
51351906

%MD5SUM%
af2411498cf074e821bebef2d12bf065

%SHA256SUM%
e986d620c2abc2880723bf1e4692e914e4f65d792274faaa18bac344972b36cd

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjNOccACgkQeGxj8zDXy5JnbxAAoRDH6176NEgLwndSiW+xJtpHotPJoA3cbCCIzjzDP5letgfF0SqnH2nuWyIndSfE6zPV5mx62dbmG6ePQZULfJJ5ixgz14pUI0jhReUNUnWFuW54uoAqNuQthq9kS6St6lWQWlvQ8739zJJqjg2FdShfBxaCIy07beUSy1RCGWML9P825TotvtBTDGqwypDflJEaiGlsVUHvXFmyNqT8Hns1y+61FNby3jP60XmnRN+8phOQyus4ZP5Jld5mAuzSu+9E2N9l9/sYRU+J8eYzSCJr2e+s//3VXJBJM0R5vZ41DrVgzB/fSPuwVkIx86dC9jXQp7M5s+WT8P9PJ2Qi6yKN2jo1VkL8SRsbkZ9zhRLAjtERGxiwKgHVfvRSac60S1YUsHXFZtlz8DkUFnRFvaCpNRJlwFCqdRkllnYghMwDpl1/1mgBByIMTYE5bq5nvwsiQbb4H01v4NZMRdCJv40DjTLE8DeFWAPKZQTk4pYPwFhE/0AYwQ4oYWQesuJ9bsG0GXibyGmNsa4NE+qe2uQ+rNdd+J67nKW1wgMuV+I6ONg4gYS4EARWZVfH15wffeIA1Ehukc+kuzcvafHdUNnsADj2+MQqeVuwn0mv390dnG6IWp1k2Pj2vtm8wVsDhuRXBNue/KQDbZjiwHpL6+AvN7kBwExiyGFC7YXGzNM=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1758279533

%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

