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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-520

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9502289

%ISIZE%
49553152

%SHA256SUM%
7af2cc5697c6929f40e4ed3d0576417c167043732f5b369416822d3a9076f19a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo0zvMACgkQeGxj8zDXy5LGPg/+LTVQLtPasGUxJbKKVOtRMeLi6fwSeLYJe9F05XkHzJUa0WeWE690UGKBZV/HBGjlZ1xcFyI7nZdr6QYDBEoDmF6/41/wvo8yrLUPNIeG3ybc+vP17YzDqcgvY6F9iz2DGVyEK+v9uF5PbWLI/zyGAg5CZS7+HyTCloQfqlNx2x9/IGE0C/X5swWXDvNkG2knHUh87QORmWXp5gFbU8c8zw3n/eYmOpQCwcbH33FbgGzFdRaUO2pC9sMCN1s4VWTiPSclhpOA1gq4LYQC26xKbLFXJxxMUA1KjLBn4fkLRDjJMJwchzFloXpMGOPjgtOGcvgFwHObsDie8FcGqfTB4YFo3TUWDrPvO/9dWqZMK+r6M3eB3bavPEMlLqFR+expVqNaH7lF/BRfTjq4i/WJGtIV9DuPwMeIXyhYKul2GdS6+FEFZrgFmEUSgziUyE5UFPiUbUuvCv9SIX23kYtIbx4W5LXzRuqeapSPE6vgx5KMnk6ORofLgMiqT+Vc1llI92lzv7y/er+ilhRIYl119R+v+pMOpuc881HpcMWD60fB8OLHWcY8E4fTNNK0dWpwzFRAGmjlhGQvk9pX8kJT8wYGIx+PyRFliP2O5xr02q4wKW3+gH6JDcTT6lwNyoEXdfD3ZujzH8SSyHROaS7Vc3ej0jLtLgNelfHGhcngiHo=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1781845417

%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

