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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-596

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9503062

%ISIZE%
49516352

%SHA256SUM%
f88c3846facaf5ea8e79cbe3fb7ec0374d111ab96fe0906b9810100c826c9c5f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrTcMgACgkQeGxj8zDXy5K9Dw/9FnjOlD19jOscfsehpKq3pF/VjZyLsBvnMFAxNH9XISgAlFY3bOaZWfNJ1N7j1YVRYbxuLezQy0GwQmJ6uoKWcuzOCNh3EajB5arbmux3p3cYZjqXKzviRMMd4F2hBhv5Sfl1+2OtVbSXWiYo1DwIX2ZGNFhgmXRFrs5z/SZ7s6JAc3wxzmmJCAk6j2oEJfmgLext9Awnm+sspHkDjuUlofqnio40SUDSkvcHD+D1wA6lpRah9lkG5kmYm60W3sYAYdc13iMypQlxt+J7jrTyaGM+jA8EVpr+APdBLb4dIKhom9iBbRwKuuB55teQy7vq5pZI7+fuIW7AKjagNHT1OHWMUlLsaaTpUTilwjqn24r4hjthjBvBT7POA5RJ8Pj3dAxF7maKUVdcojwLVDsHULxgfyjmuQDzfP4vx4u5IJjCBU90FHeyo8fjbI5oraanuSKSupOL3XJIBXTka7Anr0BSfrNIaAjcwroCAMfaApk06qpx2fM3L4UgKntXmuUe3piHuYezMckJnHyX2fsVtv34wpbAE3cFxcBkBxJ42oSc3DkkINnH4l1LGBdcE99OcJDISbPpjnz1Wd2T/jMow3PlIuWqMxraa+DefHN5k42CgJ49plhvXl83mlvjP9qnaGIOsK9/fB/mpSO9rGlGwvhl9iwB3FkSY/kq8gWyajM=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1792241507

%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

