%FILENAME%
haskell-what4-1.6-101-x86_64.pkg.tar.zst

%NAME%
haskell-what4

%BASE%
haskell-what4

%VERSION%
1.6-101

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

%CSIZE%
2974486

%ISIZE%
19301519

%SHA256SUM%
ddba4a3c13d0bb3f1cb252b8efa7261f47d45ebfaef516a7fdff01c8e827a2b7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnn2uIACgkQeGxj8zDXy5KzEA/+P+jZMVX/eFWaxDMvq77xEJqX7x/8mDaaf2fpKHjCqwHel7Lukccu3BkVoKMeS3SIFmoOq8/wtlDEWvSJpeYjiyqC+QVMRsyqXdgCghjvphGPkDeWmBpe8Y+6VxZY5VLV7PX6UfRUdrvf40PQvcDk7vAXw07AJE8bU63s807iADqs1A40ttlybWCVL9C7z+iTZ5SR8Ghw4UtoowopTseZnREImFQmxF/V+kv0IWpssOAhcKJu9WbkcxedgmiDBYZXvcfhh3t0ocL11A9YYANul0en5gxgTO8gY2b5gLyy0VnHAF7T0TALbOJHMWZY+7MjX82o85LsrbB7OG13L0x/gtiSflMH+tfq8zU/DyuyHShTrrwYgG+3noJY7i/pQusyePB2gWA+H52U6rUBjdVMxxOSKg/O6P140eFKhiPUf/khcsyaaG3ogpAW+zUUMJy2OxByxe/mQ6u3/ZcWnoyrd9p1wqPeB3EXXF74ic4On97TlJXTmPO8XULpvl0o1rc9PveMQ0pKh9IquJxiCnd+L7XS5fjAf6i/BdOlZjooPG05chBM9I84xf0u3pc+pqMG8jabGNtQyOV7JkUnA+fV3OLh0TInF2fbucfd/sdPf3MH0y7T3djmYVEBqSqDd5Ita2csfIi1ZNrVWM3JpRzpBLxZVhy+3+oyKmjDHlEy5rE=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1776802346

%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

