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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-533

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9504419

%ISIZE%
49515978

%SHA256SUM%
56b6b4d9e472c3a992a68ead66f7691c5f786e5d2da144715e484a45cb38306b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo6864ACgkQeGxj8zDXy5K+1g/9FH/AUGvxbNYNhGpu5KHRmMT/ZS3p3pumMBA9RGUIBa/L4+OiQJ/Ijb0TFZDBGFqQ6uSYLKkgNleCCv/EuGfYcf0/Mzbwb0HDI5hxBvOzHU0co92/Oa4TYgPH7ZNICKnhr6TIliyM5e4wF/sNGTpQrkeVo2AMqAwKO3n3SdK96EkQDXxgWID9ZVJdBCuEsDuKXgy1l2/1Y35skPuWWxTVOEq16u3Iheu0tsERre72kogYaOq+9Jff3JezowJR7bS+cmef31qAOIXB+rNoQVc+E9e+dQF1+2Kqc2Y4TOJvwxxBxmMqWNHpV8ErUGvQ4aL/am/6tUPfjsnqNqtV/d755EA+Ubdw7AFNY/n1nCaO8cPRPg6CJhfAmPl+P3lbbYltaybl/VJCDU6sVmqGedZXWyPZMzBN34TVgB3YNpueCwzf5PXRdsR/zj0590dY19aJkDDdNNArBEKHrz1K/Eq3txxxsVv7j1NoxFFX7MIypzBcmdT4VRL2nJCOAU2QOT0gfWxdWwotPBjjJmX20BncxcuvhNoZrK9f8mTja5286vTyo6fYkg9EgfJmYt2ua8etUXxihmMob9pJ9QZtceDjk/CALkHesw2//B+raA7WDxrrrUHdy1FONenHts0hCJw5Mau8gsDtbmG4m8ZKZjAK+knIOQ2frfHNw1bAD4GqjOI=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782248028

%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

