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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-532

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9505566

%ISIZE%
49585385

%SHA256SUM%
e5eaab1c5e5f3100e267a9e8dbc88d4bd22405e70fd4425390752585cdfe6352

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo6y9IACgkQeGxj8zDXy5Idcw//Sh9D4ed2ep08XII/bNg82mq82YZka65nTHHK3elsekJDnDxvcEQWjtvcirLmssMjRNgdHqJYZJfsU4nqFSBkiwAh+jaTcZ73p2vjLjmWK2vn/gN6eaLI7Sx3N7duxXBk5VlssscBIP79x1g4hcWT5x0GEDgMWv3I6E6/q1lxTaNgqJsQe9F+VhnYMW1ViFQQngz8YnUlNaMap5IMQ3cK6eXJ37n3albHmPY5nIj61tK41sLod0Ga5WxpwyQ4prYdVKj53xrEpvIDk/V0IU4YmFv7/l/eAwFWLCUymfL+zdJ5y9Ow/22vQNCyLykbA0ZcvzOwcJhoYIs0X1P4ZvL0LpMEi1pzuvtNcP1rzawPkPeEY9SxJ2BHNIQN+yPVnwXAD+bGqu+lHZhaKDo3wMkhx29T2KpIk7XWTr4WAG6MSixwig4Vn8zdsqUT8EVad5e2cWYyzpw9bvwPLIwdZB3Pt3M4AEPaTcOfFnO2fjIoB3OMSlMKnKbtlx4nlRTHskL9mFKf5BMON9BhOgFWFp/uD1Undj99xiQpor0yE29u2KUQKySnxFZfKe5Mgrlopk4KCYyzrP2N/PnacJlbXahRBH7jgLs8m6aA58uEIY4frzDhyZP7EOZv3BDRw6QoSG8iON640sbzKOu69vdNX+zvrL7KmaPiNMJSdC7nPxP7pzQ=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782237705

%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

