%FILENAME%
haskell-what4-1.6.2-4-x86_64.pkg.tar.zst

%NAME%
haskell-what4

%BASE%
haskell-what4

%VERSION%
1.6.2-4

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

%CSIZE%
2978252

%ISIZE%
19405763

%SHA256SUM%
49d9138ac74d3bb95f88bdcb5714dd1e947fa3e35bda1498d2098e471d6525f0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqddFQACgkQeGxj8zDXy5KSShAAsKx5yR1drVIPz+KzL3MpuEb1jGMqp1XjObosHa4A75B6BF4sl+N9aGfRRBO7QG9NfWJqdf6OZx0f8m83gnL4cpN60zssUz1mfqwc0vFaGe/HnQ797oIzK4yB84MmOieoKxuXDi/mO5UTPxAFr+y28QPEC9LKgJbemEtNOBb+9HRu3Xx0gdXyE7m8v0i945HuXDgiSzFIyFOmud+GhkEGBtrWh33guzeI91fAZTJdFrJ/f0apWZ2L9u/GStLd23aKqdTPVgaUpKpwtpgrH5vWhQlBzDKwVvZ4kL/lpIUfypoGzcz0uoB3WZZBDuEdlxsvlUfSjj6MIfZf0fAzDmeaWDyZ5tccEdcyrvktH5hi/rh2WBLanKQFcG6xeOhjIb2wvxS9IujAOnupbVF89yhRtj25sovdYVCHoRbAlo2mUQY783cwzsHQgB314gPaXeGp1vhVdw6dGjcskfI4Whfev7nudUm/LdFdDD5Y5/CwrE+ls/H26W2GiCl7htZAGwkp+JA6ygqpbYwozt/3bwE/dCjGWYetzbckxjqhLUNTodynD7znu6VxB8zraoatj/8tHfHRnJcom4zaOemhRfuIu79SsGbuYc6duwSU/ZBNvfHLf6Ai6Yk1NMy/1hlUmfIKHdK2sPZ7bhs34+B5Zds8B10cMgqPL+V2Yk0Dhty6sIQ=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788703554

%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

