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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-263

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9311002

%ISIZE%
48674600

%SHA256SUM%
75215c6a733716d5d74f9485033093c23b291eb0454b4e7e36d86b18881100ae

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfUdp4ACgkQeGxj8zDXy5L5Ow//ShNfAXT1VXJjc+wm2tcDxk4gyzjvXY1dTOFiPfNPO0uA5nc7yGMrv9CV+/wCV8KAhjpiZ6iw0O46S1Ky6SGwk7U0cPiKA9kSs5Qs9lBJ5xg6UaxDJW0XjG/FhqheMqOObRs/t9ZLsixU12HyBsfuAMZBdSNGMxz+TOIF5irwpSBJD3rglQpxs7nUDRbg1udIJM/8yubYPtUTl3+f/MBgfimrh0+b/sZIaaIBfiTbD9aYbPHEQul4XwM0EQyUp/gWO7tXILHJRvAf+YY5GIz8jdiew8BcmijGAGbF7xmHMWaA5iDFwvVpaz9ZwIMOpTrXCQJz9sERCi3IZVwT9iVjE38mcqdJfNyxpXv8d2Jp/62JYP/29w1IANdJF5uArxlzLE9bIxtTX9A+TzYt/KvLVuHpPsFhNqkBKbfS8AW0o/Q4Qck9fV0t4Bvwj9KOftpKumgmqKCadQmhJjMOTDdrK2WCofhj0G/j350blt/6SEyQokxauaDuuDchkh00lBLh68G/RrXGaQsLOjkwGviR0DZc0gGYVuUnFQZDDn0YykHDZdw7Dj/HGgNC4lB4qdguuDKEJ+7g+FSC9qySWXfHEvJ4QVvty21lbnaMmypQMofRMLDtgqTUTpw+2UCC5ihSzmEViaYUcVbxRVQI+5nlX0pyUIKca0jXYNdy1j/eeoU=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1741976649

%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

