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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-536

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9505121

%ISIZE%
49515784

%SHA256SUM%
67198253efe06f3b22b7128246ae3579caeb08f3f5477dd84bc2724afa6a1cb0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo8UMUACgkQeGxj8zDXy5LE2Q//Wnq1KH0iAAKCt4QeQJuQQ0w0YizJC/ViAz5cyFYM2+iZjqVCPUDXssdURlIkdIgfJiYqYwfkmIKbbPyi8Zjk4uK4v3Zhf9dp7HnCEgvTTPO6qk36zg92WkpwFkXAWA+QpWlRJmuO6z004oXEV2GrzX4sH3gXpOGFerAY0hwuW3UJvkt6hEfxNnp09Zxq0IBpASC0EHRMZQoWile59U4OqVFXSXcwEIdLzFKlz1v9xxXTjK4m3jPfkJje8JMYb5voO12EojO7jqQ+qj11UDrm45Mjv4aH8Qq7ERsgW08lHFzAKRDOGxf3QwFvPpfCc/CvZ7uyzU+w51arCx6LCfkdUnnvMDnzlVRoqFpvNY1irK6HogZ3WLS33zs1hB3r2XJzcjw/w/dREptlxdGQHa2EKkrVAvhrYRePuNKj1Ks1qhXPUXVXyOoTPN9qJTXhuhwtPuRwLmFhUPLEbzWcMuZvyFfELHkxKFMuWzCKuV0zhb0TR3eMkJ+weqJceWfjmhQRSKE3doCeRxOwHWnk0TuSIsOEnWpm5is/nyEvrVrfFs++5esQJYs7xMFyM6kD2YLulByx8bSb2iizW1QPFzmINs03DCRDLpNQrzD31Dw1raA4miJ7HSqGgepK7JdRnJahT1EAJevT4adjxMc2iQHFQO/6TOfkCrzMVEzgBZO6w3k=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782337274

%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

