%FILENAME%
haskell-what4-1.3-49-x86_64.pkg.tar.zst

%NAME%
haskell-what4

%BASE%
haskell-what4

%VERSION%
1.3-49

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

%CSIZE%
2970209

%ISIZE%
18782249

%MD5SUM%
3cf797bcf3c55b761e0dcb33c5a1840b

%SHA256SUM%
31e3fbca71dc864631612c8dab78d32341a3da5a5d74e2ea35889e1d1c6ca38f

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNZg94ACgkQeGxj8zDXy5Ky/Q//VQCWhWxx4ZZVGTSV5pZl/mMbdAZWd9flcnLYOCMIf0X0kFM1wcKksRE4yaNhunvJRPYhX0e6ArAPe6H6+ZC73oqJTUIlEKNlO323tyXBkxEfIzyYDoL+YHmyorRtboDkQGO8fndvK4znxcxhBu2HUTUs3Pudzb7Gv+TIvPmqJlKdxu9f3lpAtD6A1k/vthWLnShipZA18lA9mmjnmaGMTFkZlssv0QVtGVq655nvtBm40ahltEsuR2hrXg8kB92ocBv7rh4whziY6cjBdaOBgUMV7DU51aHi5upG5npJEwJ+Tfn78IJlqHddhlYTWbJAtSDW+JkFg/3DuKU2Ize37pYbhbjEdKfUzBTCyH/hRQwYJepe6JvmR842vmPy2IK5vW7PTLSY4HArFz7XAx09p2hbWNWsfix7hJ5z0PTfqjv6sF+3aSxwP5623WNU3XZG/7zLrUq3jAte/pGRfuxbDukaCExm2QNjL8cmx2Di6kCgpRy2Uc+tRi2WQ273Lpk3HXlaXRWCVvRuCOl9gNESGdX0mDREZrW0FuFMdZBw/HvKS0b2UtLgUv/WZPB8xh6/HhjuN39el4xyeRMYVd0X2slN72g26WiAbTx49SDlPjmW3Y2sVWpT/53PH0HKNwiBqgURitAUxACH/RDdTXfK/alxM6HDHhduH8hdR7Z2q9U=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1666809907

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-async
haskell-attoparsec
haskell-bimap
haskell-bifunctors
haskell-bv-sized
haskell-concurrent-extra
haskell-config-value
haskell-deriving-compat
haskell-data-binary-ieee754
haskell-fingertree
haskell-hashable
haskell-hashtables
haskell-io-streams
haskell-lens
haskell-libbf
haskell-panic
haskell-parameterized-utils
haskell-prettyprinter
haskell-scientific
haskell-temporary
haskell-th-abstraction
haskell-th-lift
haskell-th-lift-instances
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

