# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = haskell-what4
pkgbase = haskell-what4
xdata = pkgtype=pkg
pkgver = 1.6-56
pkgdesc = Solver-agnostic symbolic values support for issuing queries
url = https://github.com/GaloisInc/what4
builddate = 1759974181
packager = Felix Yan <felixonmars@archlinux.org>
size = 19198358
arch = x86_64
license = BSD-3-Clause
depend = ghc-libs
depend = haskell-async
depend = haskell-attoparsec
depend = haskell-bimap
depend = haskell-bifunctors
depend = haskell-boundedchan
depend = haskell-bv-sized
depend = haskell-concurrent-extra
depend = haskell-config-value
depend = haskell-deriving-compat
depend = haskell-fingertree
depend = haskell-hashable
depend = haskell-hashtables
depend = haskell-io-streams
depend = haskell-lens
depend = haskell-libbf
depend = haskell-megaparsec
depend = haskell-ordered-containers
depend = haskell-panic
depend = haskell-parameterized-utils
depend = haskell-prettyprinter
depend = haskell-s-cargot
depend = haskell-scientific
depend = haskell-temporary
depend = haskell-th-lift
depend = haskell-th-lift-instances
depend = haskell-unliftio
depend = haskell-unordered-containers
depend = haskell-utf8-string
depend = haskell-vector
depend = haskell-versions
depend = haskell-zenc
optdepend = cvc4
optdepend = yices
optdepend = z3
makedepend = ghc
makedepend = uusi
makedepend = haskell-contravariant
makedepend = haskell-hedgehog
makedepend = haskell-lumberjack
makedepend = haskell-quickcheck
makedepend = haskell-tasty
makedepend = haskell-tasty-checklist
makedepend = haskell-tasty-expected-failure
makedepend = haskell-tasty-hedgehog
makedepend = haskell-tasty-hunit
makedepend = haskell-tasty-quickcheck
makedepend = haskell-tasty-sugar
checkdepend = cvc4
checkdepend = yices
checkdepend = z3
