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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-599

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9503102

%ISIZE%
49478199

%SHA256SUM%
c6b5cbbd308ba13e3d144379feff6bea1ccf47d08ad09047e37191a1240af282

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVcm8ACgkQeGxj8zDXy5KVsQ//RMzIQ026n4PBHK4sXtM+UWkVlYYJGLMMbaPHWt0iUfLgoeSOh+qRaSSXkEWISy43o2rYRA1yeBy8RGtCfwAgJd12khmgaNZHRdNvG8Uh7tfFrmhjtjqE675IWLuYy9dH6hvO10tYgmE/2hcEBQx7sSiTnzFbxDVhSzZpbQMPNl5jcwuaXXWplUXg8AYr7egCRv35FcHdp9EdzPxLUTdgQOwZV/373inO2cGvGTTGTVJ5ozUm7xB58FQ0MeFSXoK2pfzHmQDcnP+BP8dKDjp7RBELnXrBCXWykWVmJb/B6kOFzKHmrMQh+81w1UahOp0hJVQKgNdYRCW9kSR2UHMm8tXcF4f4diM0nlCMxR99xamejhTUUDrgyz+8wDxFfxVPhWrFEIcM2uCJiwxA2FGJ+AU/JvrUYrzQ6O/klxVgexUfyO/1umbUD0bGtxDJdD7mrbgQDHYG6pPtsY2sXP7rda+yvnt+jCp3oq+eTtPjVC/XxgMgNcxFolXI5WGUlxQ2RVSi9ZQAFOh2FQEgeICxr6d/aE/Qp78Q4TYT4nKntx02vvG8dk19LUYrPaG064iyNtlhpsXOW/RXt8fOhC0vbeES9KO39iD/yc8UMayYY2ochtZ6T8oQrCdj1lRtCl+zDCtGpb83XEVVOBU/TmWpu0VBzlF3ObqWN/IRQdFBqU8=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1792373000

%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

