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

%NAME%
haskell-what4

%BASE%
haskell-what4

%VERSION%
1.6.1-13

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

%CSIZE%
2979065

%ISIZE%
19381051

%MD5SUM%
791f447e42c49b4d66e1d32485e20d35

%SHA256SUM%
2e685d81ca72fac0ab7ff8ed3cac9e40a8bed31f2a4f036e9a6f89861c32b7a1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHIAQACgkQeGxj8zDXy5LGDBAAtQvAkKUzHl0yRWaOBY36Bs54movyxwm7L2lap5zklUAlgykqrFjHG7Wpnzbl/9oBKRe/BgwHcb5fxO4dm/2sRrWKzKDZAXeRSS88SGGO0aYRZj7WrDwRHjdXNvN0GKRWLfpLR2xt+FReFlj5tEpZAzlV5V9VgZyokteD2Q3Bgt5b4t/3vu4Mgt5Vo73WImDAWUQWgL9MYp3rSzKOa8YONPJIUrCFAApQ936f6bBBaHL7DPGjzskgZVWC9UUQDTNN3/1d4ufLlrQnFMBVbX4Qk8fiIBcYsOV0RSsXHHwr/nnnK8EZO/IqmbLqjdhDXwnkoOw0izfMrOUUmbaCSlN4lF7NYKVQF/d+KddCKiqWHDpjJvkx8w3lSOivMbAYJ394iM+nxAhdtY1YWNadE6tX0nQVAeHZQV0jE4QeO4JVtXSrICgrzbovmCmpY6D3WQBsk4e2P0MmkvEAv0ZQiVh9B/7jGk/uhtkFlZHsNwYexJPbRI+LaIedds5m3KHLRp4Zmm2hw2VohlmSJRkGiVqWSlb82HNHQpm/Pugg06ywoDtp14w/YvsHUkrQnluA38iTlUfZDIcQosFhrTDKlXYlkk4MlKn/gYPzj2HMHcsgdURH7GM6MjOOwC8KSF/EqmRL5jTe994qEchtYQ/wImwbL2IEnq0kyMZ7kulIxy7lX98=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1783045961

%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

