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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-466

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9494646

%ISIZE%
49496453

%SHA256SUM%
8b214026dad99f025b05c66f6033710229b7789dfa1a206ea56baf1f9f70c3cb

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmksvKkACgkQeGxj8zDXy5LTuw//Ymu+t8UQs1vkaYksbdcgFxZZtJfV5x9X9sighY/8JVC062LSJN7EPVeXm3NHPt1v3B+TemfJ9hRJcMqKyOFZKarzVXl5QUcKmeJhuA0UGkukI6CgX+RG9Dv0TnMiUSURIqjlDzLbYdcS9KH6KwMKJKEdSNgap+QtLKTjyWeINXZ+KgtFFD6vv6yTiSTb9f1xyRupbN3wnJvSAa9GSYsits+f2zFMCX7Vn+5vGM033RyQhS0siOEhnpk6K534h0oUGcqKUCrQL3lA2+LA2d7GSSy493Ijx6nekYJbyOJY12Uh62ge2fR89/Lzjb//0RXeX+aO9GYe9LiGAweMakaw82EBjVnkB3RljxKIBUGhgPNXhnPSunKmCQa4WoYBdrv3mLrRl9R8gHwpapCakI9aP0VpMPl5fMdhLxsF1zHryJlqNF7M2+j7uu3KIQIKvMLnTta5tcnI4JVAva/icNif8qiRCR0Q3S/Say23GULq+I2eDF/28N5rEhIiN6fKANmIzlfEh8MLvfeTC1BLLvYbTdUjVNmYZNn783y3hsh+cIutyc74U801aMwRSzvURXtXLdwF+vfvbk5WKsGd8iCM9E37GeT/OdLnENI1Ep+JRSRkLZZU4dOs5J37FXxTxxwA6qoRY9N5hiTKRsZiHFSEerKnySy3HQ4Z4ofcytlQKt4=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1764539175

%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

