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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-598

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9501970

%ISIZE%
49552030

%SHA256SUM%
f0b73e7e6296e216d5de6d1a40fe788678dbb1f53aa2f39c72eaef2065c91b10

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVUZQACgkQeGxj8zDXy5K57xAAmRmav1OZPYWY/hrQWchMQxaFoGz15A6Sq/yavi+Z9GJhMsXSgR4FAS3hc1iYiOwH5UAQCa8rHEyUpacZF775JSJ98Xi3jJ4aX3NNLAduoGvX2RC4gYwlaPhK1ucHx2XUJi56ZluUrUppqmUwRFEp3SOg1NldkGfYhUDL6OOE92SolVDWue4S+cdmJ5cW/cYwt083Ls+18IFd+v7aE3ipx5XMHSHzhpssqb/01EsHRbRHMZz5GPl5GB104igqfLYf4ajpeIRi8ysIyM5OddTOWBqlp+CoXczTsOIHjN7hUW69+mmok0txFWWqx72XrQ49ZXS+CkS2/OcKtCreue0ANUiwn7Ep13QGpF07atuuqMWg/jIo/k7za3YrJFwfh+/lAr7sNGW1NIK8pLi26ogsyZMQzcFRHrHIi/YkO7G/ensic3Zs2sL3CjQTXgqcL0y2fGtw60X5boxJ5BrbDCOkrbk79yWHs7GQHGPhkgghMZHMUn35msEIKGWj7InJYY34TXczQmsy8WfEsvmcXSq1XJ5OU2Bu2qfCfQ5emj5dOTQ1L5UF6Cl07HWxTGJjRM+BykkoQIsylOdbviN0HJNvfSJgM0cj3MWJZV8k1fRT7WMmKB3krMODVlL9pcr1LS0QPbMPqCRAxsUuTT9EEKIf4SADcwPFF73QWs0qQWNIzqM=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1792364596

%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

