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

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-513

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9504169

%ISIZE%
49516077

%MD5SUM%
cd1ebbf93286afb0bdfd39222bab52fe

%SHA256SUM%
8681dcfefecbe2698066f0891ffcfd3d06b5cf1e3c84160af42fb62a01e55727

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoGwJUACgkQeGxj8zDXy5Lopw//UcA9Gd8wHGfSO2HUfi28rkjT9Kj5ZrjhP4N7ds+gwiLtDjTOiDhEfwCs23mTiZAHJaTegazlLUc75LDRptVA2HZfDd7ukePsb1x34l9EBAld7k0xZvRe+Updh+fVX0aIR3I6qMmyvYymN/bvgcpSWrS2TUgx6rFkaPNi8bWCERptl363BGJ7zym1+SHxVnEV5jjHs0rlVFKNYCDzDXa8Lv3xmS3MF91CSDhlbEOr6S1xcvg2lQ/sr6Xbh5moKmN/yOcqYT0aNa1EApCwL2NBm9dswEYV2EdKnSVH5198gnvUbmFBuYiEgOONRo93/47vDtEsQe07heqOxcL3h1/w2Z5ceacqB7J1pF4eJJFTuURzXs8DbJc3nIiWqRrMPVHSlBKYLQP1Kvt81MiRkOzf1aspQ7VECR8tfczIdsGQfR8DJtVxqltbbrny5wwASDDkWk094qERrDCbrCtWIb1diw5r5M/892n8RvCuzfEiQd2A2HAvauJFzbrehgJzFZf8mRDY8vrL/Vl1oyAVo0pBOnr6penrLkUjbyjaELstGBLQddG5gU/8HpCYbczJRZwopxjH/yek3HbT7NgpoURGQVj2VwMsYPjjqpGU9mvyS9d5XCsWEa072AHMEXG/QwMLe1bmX7x1rfPqTxQ8jcrOv+iig30ntZ63YipYe7OWwS8=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1778826740

%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

