%FILENAME%
haskell-what4-1.7-7-x86_64.pkg.tar.zst

%NAME%
haskell-what4

%BASE%
haskell-what4

%VERSION%
1.7-7

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

%CSIZE%
3003948

%ISIZE%
19513100

%SHA256SUM%
f8a555d97a2a2e1a2d7c0586dfeea75a16bafd3cbb351179aba88612a7f6ed5f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr1DuQACgkQeGxj8zDXy5IM2hAAwLMue8IeHF10iu/p62vDF6pl33+PZxcLRNzJXBDxA+CESVxRnyN/7C7Na2N841ZQu1a97TUP7B2UortrMevpihZwKpdfTlDhstbuuAXFfrHxQBOCh6c38DCqPoyEZmpmjTvsHuZCaB/IR5sd2vS9+x7IEilZPmnaGoAkoFj8v5CmwDLtKYW114uXDdzaENFQyYPCWI0qwLnQkk8hqHhN8HEUYCV76Qz+szC3++pSVfny7g2GTrQCsYT8Yc0fAEuIzayB/j9QZ4H4zltc4uPTPrwXqo5ZNYYSyoBLo+w9u9b8JEaPeL8N/eX+qldG4k0zKFezIM2AVlQnZKtbSrZmE1JpdZEI1Ad8UGoI72IM1xsBw2cnMRwF8ZqKGl3fQBLAH8pKEbrxnowz3LAM5PvEXClWa54gQPZbTE2IbghZL2tPeQYl8SCd594QKLRaOrypQjyALIRHRa61oRo4zI9bcKFw6DzJQDJU4n6MWo9L3josNyP15j97bwSzSAoUks/kA0lhYkcAX/Ln9o4YO6QJ0fTAiTl5V+Q+hb5WpK92tCXrgLV9n0qL/bxGaDmE3QHYjS9yqocg+cFXXzxuN5G9MeeON9wsiqFBkgh5fNItdRblPvX558Qs4XzSxPIfHyMpFx7U3DH+MyGS8uE0IVtJ66CvvTrnh7vy4zKYdMJyFvs=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1794444864

%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-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-lumberjack
haskell-quickcheck
haskell-tasty-checklist
haskell-tasty-expected-failure
haskell-tasty-quickcheck
haskell-tasty-sugar

%CHECKDEPENDS%
cvc4
yices
z3

