%FILENAME%
haskell-what4-1.6.1-14-x86_64.pkg.tar.zst

%NAME%
haskell-what4

%BASE%
haskell-what4

%VERSION%
1.6.1-14

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

%CSIZE%
2978720

%ISIZE%
19405518

%SHA256SUM%
ce7d850ce42d19b65c6e19568d1540bff90b4de959ebb57c86e1742bdd602787

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpH/nEACgkQeGxj8zDXy5Lbzg/8DAGMBTZCEU0neW7eVnIuC59nc//xZ2AtGPw2PTW1x4+jSKEoTxFUWOHQ3SWjb1+/vrWlk7it1FGRsEzHbBSr0HtMfAgLSjBy1dHLOh/SfpxUFXBMLT9AmJSFcGnvV/D3uDJgOVRyD4q9j1vrtBZhWlLOyBpevJ4vYmOrYyS0IM1HIZbf1hzF9pez+tkgTNKc+tMO3A4H3OPeKTYqGDPbCwFR1SKSn5S7PI6FgVBueL3XTHNCikfhJhE+kd7zvGj9Ywfe7KW01zZsf5zugCFecvCCU7fD0k84q9+SAFarXMKtp1qav1tcUutTZU9tPcLmh6gkDVEKoeIM0YbuKqAQSig6x79Ow/PktQems5yeX0ZtEHb8V+010JElPGnYL9kih83NkT/Pv0482aE/6hFIHQ/1puL78PLwFUEZBWhC1unwOMDzGwfPORo/TgKKuR3Qu85rtEP7loJalR4N8FZr5Zy2IVfMhz7YiTCYMiOHWHJLUD6HZNFx2nBjU3kK0Jsx08lIOe/i1qr61K6OL2ngYqxAZYB6RfwWrgrxPUSehPO3uz5mi8QjcAfWkzBRYc5os7HzHQIeFzPiFTRboq/j+MvFnRKDDA+0tm7Jpk+b0OmZ3eBiMsRA7AwYkkg9uQc+7odosPs+fNkVC77xzsN+FZzz8uGYLui7mCjgy/AnXWM=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1783102907

%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

