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

%NAME%
haskell-what4

%BASE%
haskell-what4

%VERSION%
1.6.3-13

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

%CSIZE%
2980796

%ISIZE%
19374242

%SHA256SUM%
28ea75f8150f05d737cd6fbcb5b9d37e606bde32865113431fe3b97dd44b30da

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZUFEACgkQeGxj8zDXy5LrExAAqEpc9BIyi+B2cC5qe30DF0RVszoC39zY8bWiecFVUsoa5ehYIYAxPWEMxSWNi4J+799MQAZHGzi0iPYC860MGSun+tusb/g5/aGMuF2E1P8mrCPOA9BHFu9sv125N1fA3w3N7lBclKcRzFNOCcT6UxD0YhP1BXYsbKIthNdDRF60bBb8knGxpfS9CGPWi2QrXsTFJZaKN/ubkYmU9b6wOxlR9L/g8Dc2aDIX8Fkhssu1ECJQ9aYDLA2pUlsY7SDqotWKq6Tj/UXN0+gXjXCFojEKUZ1nJSPJ9AfT6AYdOJVTB2InAhPKOBRxL4pBndBwAuFoO6wD9x3MOHuV7VsJ3L/6qlY9ojHFMe3HqwLymtyeh6muq6RS+lZNeWE1rIR6kLpov7ARMkZUbwt1ffZV8eqv+M4bSd+PEPvhEjbR+Nij97EaDXK6i4T77B38cAEiSUSa7nNugWCitOtFFaJf5GGF5TyXKBqtvsrSLhDmjcMWWJAP1dzsYDohnICM+aYwaOcWxUJe6kqSSPJh26Ar/HhOJQ2WM+jEY2OpGfFEUihvq90ARx+qu09wanXpLCS531nf644PKFJx2RewXsCMc2RgU7TafUld0TgTYOcgNTgeKSbACYv/nYANzqgIbHgzIwi/nULd6TQFpteQ2TiBfah86eF+H8fhATRVNZKHMx8=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792626499

%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

