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

%NAME%
haskell-what4

%BASE%
haskell-what4

%VERSION%
1.6-61

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

%CSIZE%
2975447

%ISIZE%
19277704

%SHA256SUM%
b3554d9f1780fc62ad191a09022e4f467b0599680e08c38ad04be2196efa8b63

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmkXzE8ACgkQeGxj8zDXy5ISlxAAp3y3/i62Z04u2IdWETNWeTeTPiBkqRGJ+SC/mTGO+CoZ+ep6by7qCr+7FRaXAFdOJpU9CQ5y8Ffi9sjIHU4plNKHXMhmGtGDu1I1143+0/yCGznjHAVl6GKiF1SHjAzfk+2jJjm/trTt6B3ZZ3oEb0B2oFkkmRif2FLGAnR1QVRhDTUfJDDMrsAjbVyGfRSG00+9G0xe73ogY7ntv0lSuXLbq9KNK53INVcHXot2+pKxqjoR10w2nIzfJdChHZqe7pFibdMptdBQBVJQswZv74Z7YqaRO1aRAae1wXfRY51VqSTflMrzh2tS1lZbsIptt9Hm8IGVVMbnbpyT22UY++bpaU40z8fPbfz0Ka6tz67c9iiQp7VTTUS9opEZid9b2WeKFOFA2oe8PqaaI6mYNucFtGu/Q6J2eHxQvlnvcSaPUe0Dk8owPadJ4Oe7l484U+XptqDlKQ1xpODmqXqTNMjwKeUMiPxJvshmKbtKJitMG3V4FDOjszyMsJ2sO+RhthSgSx6tmt0sKPmLPfkRjWKDitNMQdW2N2AQ4DOIgk+26Iuj0VqRXXljxzm5Tf7iOMvyBeLQfuHkt2kAxQDT+e/+n3SrqqFiyJFy8x4zoGk2c72wPb0dR9dFHzc/+u2q9CGzYZdEIFNDAEr00xj0+v37sEh0HYcPAFd6bKvBSuI=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1763167151

%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

