%FILENAME%
haskell-what4-1.2.1-79-x86_64.pkg.tar.zst

%NAME%
haskell-what4

%BASE%
haskell-what4

%VERSION%
1.2.1-79

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

%CSIZE%
2850269

%ISIZE%
18046073

%MD5SUM%
873ea23a9df7a7a1cf32d0e5db68b965

%SHA256SUM%
3f6c24cdc23f2b4ecfa32a6ef0aa6d357a2ba50410226486db2b3cab8ce55aaa

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHxaOAACgkQeGxj8zDXy5KhrQ/+MWjZsoFcJ78Sy02bz8qGH3yKUH2yeFvjzrq1C7o4/4l+uJ3tB0Li0LLNpZoYLylTMOoViuopiewyH5GD6kDrFnfOvoH2ApitFAB3PpBIoCRQIaVAIXOlfWyHOvq8adgzg75tW59jL5r5U66H0j7Y+k4Zo3PNxrqPQL+PpyGZMUSVTclSj7RDxpheHDvl+gIpB4b2toaXv1Yzifzz8WOrW3n7vAj1PKVmJcKoDAITx/Kph36wnmuDEVgzHmvTt8HmA7IDgrcD2AcyqUFnJr2WZiIjd1pNDszWGoOnGSoCp8OPZLqu3n+9Pg0FmANTSLvAQUmBXoxAdqw5/f0BFC9swmmBMjKkgpey+nV7GVyY2SC5Zs7Du0b6HusaulTgoZYw6t5PleRHLB6NMQ2M9fjs0LKE9zodWrMA0s2tyrSt3GTJiu3GamgruK9c4vxvvhO47PYncv9n4UKo7gw9G6yYTwYFCoucQP5YROV3/k8GEIgPv8HZLllhSIIhFjFiRg48OhyiW6VtsB0Sqn/mfdQ3Fk4+lpw045Nun9e8pgp8MwcF1YiQ1c71Duhwn62XR3pvSNffHM2hUJorvoq1SnzjpJts5wRezU3cYtJZTbzB1VykNTPIkllAlIF29TTHm7kCw8RnPx1r+6khpCRqdNz9ckZUeWQA6fcVlYeLjeAbpd4=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1643210689

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

%DEPENDS%
ghc-libs
haskell-attoparsec
haskell-bimap
haskell-bifunctors
haskell-bv-sized
haskell-config-value
haskell-deriving-compat
haskell-data-binary-ieee754
haskell-extra
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-exceptions
haskell-hedgehog
haskell-lumberjack
haskell-quickcheck
haskell-tasty
haskell-tasty-checklist
haskell-tasty-hedgehog
haskell-tasty-hunit
haskell-tasty-quickcheck
haskell-tasty-sugar

%CHECKDEPENDS%
cvc4
yices
z3

