%FILENAME%
haskell-what4-1.6-107-x86_64.pkg.tar.zst

%NAME%
haskell-what4

%BASE%
haskell-what4

%VERSION%
1.6-107

%DESC%
Solver-agnostic symbolic values support for issuing queries

%CSIZE%
2971838

%ISIZE%
19301220

%SHA256SUM%
b543cddc86ed3809538c5153adc8a27dbaf8b0a55550c33ad4495e942109dbe6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn4/YAACgkQeGxj8zDXy5IJPA/7BWu5b7aGDH2KdJEdwVhB47YYRdWmbalnoydyezLGTH2nweOq41CrLlJgmub1Rh2E2+e4TcFwsy5kNzMqXAEw4rAUGADOABRkXyHQiosfWqhy7M1s/QBVmMrJYtYJnXAtqdB5oQ+8HoBEol2RGtaY+D1yISkjYR+m6mar/yqjP2SvSIIp5GH1g0MvW4f+cI7rTJbMHp+TaBBQ56APaxlk+MvBKaPs0F1dmL5Qqv6RzuiGOQncn5o6UGhsGXhU4U2jmR7x/1j/pncXseKdz5yZ0Qz/l4pws35oH2MP1C5hA9LNyb06wdrIQ9jSwKAp8xLQlKiKc2DSlPssq1iAvFlC2GhWxITFkxqKXRGlxjBh3BE1CYaKRXqkmfo8AUi9ZFfjFyj6t0M4Zoe7WcljkIVadd1XFUGBd5jaj7IsXxWQH52TErWlH8xMGj8DseDt6jBnYePk1rtfOEndy4CwHpln7CTNAyEe4EqumoBhlscGYFtU8gfFMKL+dvJfWPRrGGPmwXvlnPsl5jpxffDGZWNP31fmiNEv2AoYgAec10UCYB+V2/YvGv+ZTi71hfV/ADvtuAr7K6YiIOrP6wCvjMZapGh/HgoUyyCzNqM6w8fG34x4hiunYdWPA2tYCy0spfQt9Z/c82pbLsbAGz6LyJ38bEIjhz403Gm7JfwpJ/CnqhY=

%URL%
https://github.com/GaloisInc/what4

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1777925333

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-async
haskell-attoparsec
haskell-bimap
haskell-bifunctors
haskell-boundedchan
haskell-bv-sized
haskell-concurrent-extra
haskell-config-value
haskell-deriving-compat
haskell-fingertree
haskell-hashable
haskell-hashtables
haskell-io-streams
haskell-lens
haskell-libbf
haskell-megaparsec
haskell-ordered-containers
haskell-panic
haskell-parameterized-utils
haskell-prettyprinter
haskell-s-cargot
haskell-scientific
haskell-temporary
haskell-th-lift
haskell-th-lift-instances
haskell-unliftio
haskell-unordered-containers
haskell-utf8-string
haskell-vector
haskell-versions
haskell-zenc

%OPTDEPENDS%
cvc4
yices
z3

%MAKEDEPENDS%
ghc
uusi
haskell-contravariant
haskell-hedgehog
haskell-lumberjack
haskell-quickcheck
haskell-tasty
haskell-tasty-checklist
haskell-tasty-expected-failure
haskell-tasty-hedgehog
haskell-tasty-hunit
haskell-tasty-quickcheck
haskell-tasty-sugar

%CHECKDEPENDS%
cvc4
yices
z3

