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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-465

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9494653

%ISIZE%
49565943

%MD5SUM%
ef228c060af1853c4eed75b30d4bb899

%SHA256SUM%
49e62eb6c9d5f317918e51120e8ba83ba184fdbdd22222f059d158c64fd4ca2d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmknoLYACgkQeGxj8zDXy5JNAA//SEFpzioF61sxsmGEoZZlf8mMGUXrQ83lVLRq6mlFz3oAFvcOASsxk4WlETezd36IagAgBU48hwE4h63I7ImkMUhKEFaD33GIHhqS5f6dZfKLw8TfV1556SU1A2RGOGgz0K3OGxcEw5aShApYdZmWXgTIZeeSjU//KR96aEt/VYLgWMx0PktXIH2OgU4uCREa08NHT7UapsDLRr53JhK8moVoQfSyYV+1RHyxD7fRdCyEDTILthJHjKgnQQRGfLhrOKs2XSTwiK7rIzGa0Zj+ZL0uYnW2DNn7s50WAyKH+DZC103VLwocfxZyCNmV6+Z5QRR3V4mK+WY49a35K/OKojr2xAiTuqDZJw2dj24KE+INAyuFTNnv86WKlHzzm53Zig3nUmuBEp4qxjPgzX3Ut/uOSpc6f22KQNkwdOe6k1IlqBTv0e3akmU6Sx0sM/Pdtg6BgJCKExCOCxa0gAH9qtneqiKvEwwGUStW80XYm/q8OVSm8Z5Xu4e5xiJx64JYMXXC3Ljkka0Yjp78Si5xNUeNT2G0+frpRQZ8hlX1ButOVNVTB7LkujVZJfwORPxcAwUv9JXarWCc0DvpG+I5vRajuN6YxNLFCj1SuZUVw3xSLLlAocToaOPhuvajfNd9OrRpFU8xKsF7K8Sk2xiWZ0EVWAL/VRgs0yxu62Gl588=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1764204066

%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

