# Generated by makepkg 5.2.2
# using fakeroot version 1.25.3
pkgname = haskell-what4
pkgbase = haskell-what4
pkgver = 1.0-61.0
pkgdesc = Solver-agnostic symbolic values support for issuing queries
url = https://github.com/GaloisInc/what4
builddate = 1606490175
packager = Erich Eckner <arch32 at eckner dot net>
size = 12728985
arch = i686
license = BSD
depend = ghc-libs
depend = haskell-attoparsec
depend = haskell-ansi-wl-pprint
depend = haskell-bimap
depend = haskell-bifunctors
depend = haskell-bv-sized
depend = haskell-deriving-compat
depend = haskell-data-binary-ieee754
depend = haskell-extra
depend = haskell-fingertree
depend = haskell-hashable
depend = haskell-hashtables
depend = haskell-io-streams
depend = haskell-lens
depend = haskell-panic
depend = haskell-parameterized-utils
depend = haskell-scientific
depend = haskell-temporary
depend = haskell-th-abstraction
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-hedgehog
makedepend = haskell-quickcheck
makedepend = haskell-tasty
makedepend = haskell-tasty-hedgehog
makedepend = haskell-tasty-hunit
makedepend = haskell-tasty-quickcheck
checkdepend = cvc4
checkdepend = yices
checkdepend = z3
