%FILENAME%
haskell-what4-1.7.1.0-1-x86_64.pkg.tar.zst

%NAME%
haskell-what4

%BASE%
haskell-what4

%VERSION%
1.7.1.0-1

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

%CSIZE%
3021174

%ISIZE%
19718521

%SHA256SUM%
7669e3786505680ff075f6b6571b48c0d21f1bc5c56710940b304598e913bece

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr5fuYACgkQeGxj8zDXy5J/CRAAgZBUEDSg8NyyIMwgNs2q6IqLdW9JMccSgKP5NaCucyTC4JjtaCcDrHucCHkKzJbSuPVeHenWwpJOBIL9EXE0YLn3vmXmFu9lT+k7Ur7Y45U6PmIMk9fBZ0r+GE+mjPgcAKvjt95P8eTx/QyEHiM5MJtLug5zO9cn6pyhZ+Qq3G3rsMbOgSQ/LLWhWDFxFy5P88iqIaEQGAvd1vdcRcEeNUV/E3vQ5qy92Dugn6dW6enOpfB6ogpoJCt0/otcm4/+t5+vpPtjNPLKpdTSBtfx/X+IMCgs7eQ27tSoFOTVNYa1wrITZ4oIMLgLwm0wkED9ETkTexWJT+GKN59bC4yhpwzMKGCMfvduUf8uAnOu8FfR8DoujNZ5twJSLheYQTN2q0qNcv2E85EwT0JT6u+isg627dni0oTsQeVC9I80guqDaM4TSkAoresu2/ilXI+m/fT7OgqntVozIXuXD+gKA47HQImBeV9PciUBkDxLoB7WBDn4a5c7hklomA3dZ+dGrn/xPM2krQjKcPKYWVqBECR1qA/eLWEOIkeAMORT6C0Gx/4Mzy4g9g/Za1Ssi/+3EFtCfa2IwOcHTBpQsglTWJJgjcJ9EW+RsYgrdsrEQ6TddOiLvgmz2wU7fGHTKGobvi+F2lGOxhhS+Rcxko9a1W3s4ounq3GSaT+9P/2VGfU=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1794735707

%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-hedgehog
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-tasty
haskell-tasty-hedgehog
haskell-tasty-hunit
haskell-th-lift
haskell-th-lift-instances
haskell-unliftio
haskell-unordered-containers
haskell-vector
haskell-versions
haskell-zenc

%OPTDEPENDS%
cvc4
yices
z3

%MAKEDEPENDS%
ghc
uusi
haskell-contravariant
haskell-lumberjack
haskell-quickcheck
haskell-tasty-checklist
haskell-tasty-expected-failure
haskell-tasty-quickcheck
haskell-tasty-sugar
haskell-temporary

%CHECKDEPENDS%
cvc4
yices
z3

