%FILENAME%
haskell-what4-1.0-61.0-i686.pkg.tar.zst

%NAME%
haskell-what4

%BASE%
haskell-what4

%VERSION%
1.0-61.0

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

%CSIZE%
2199656

%ISIZE%
12728985

%MD5SUM%
e94e658561185bb1fa8cb1cf76322ddc

%SHA256SUM%
e2b354b847d791e5c0bc146b690fdf076548a6a0ce0af3e131962938299cae74

%PGPSIG%
iQIzBAABCAAdFiEEQVthRbOJyKdMn8SyLBRsAalSrA8FAl/BGhEACgkQLBRsAalSrA+JeRAAsvCjd+6JZANSSkx/ZRYNWiG+9eQ3LDevhMPTG+hXWUOSRLw7VaWa5R4WxSX3Qzde5KBDUu2kXkl6x/Q5iiMWBsaljLnndbOMqM7MdBr3c4ep7sBa6Irmp+k0RS6prIjbbBkamRnUkaDrtLyd1VQwJwtUbQO3rx9wjceNLBUt6uOzaQ4yZ5EI9msWBzp3tQUm1khsjNygU4laVxQ/0RShQa1Ok8nDDC/jxGG7AtViIeIPEwrMl7w6PP+2xOiooM+lPY2m1Qa3T5UTGhZOxtcG/lN1mrFGFJyFHhAVEJjDLBbioaXiUXR/ixrk4qXql4y7lxCAulUzcxtD90LbGZWLFU7+oFeBShHdsrKRqDvU2GGcit7dSSN19B6gkJrMP4DEOsx7p+oKG1TTl+K0kOnE9MnA3omBinznzB4SIP75iau3t7qhe1L50S7/iAoRCVQjJOfFH7Zv6jM6Ts/li11xLgY7995+l14fkYnDD9V6e7XCJ/TvDtQ3uGSC7W6FrHT69jElqd8pElqdYxEyUOLyBMCQr20wesGW4qvyO1gAm0psd/0AaH/HJ5DMXPJKIBcr0/6WvOao5jjtPJvVZRTJr2xI+t5+R1XK32WGuPl/Q/NHRVKo4ZwmGDWm+90F9A5shLg11gtb1EmtafTEDLoeLojtW8tZeyf9xxmd9JrHxj0=

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

%LICENSE%
BSD

%ARCH%
i686

%BUILDDATE%
1606490175

%PACKAGER%
Erich Eckner <arch32 at eckner dot net>

%DEPENDS%
ghc-libs
haskell-attoparsec
haskell-ansi-wl-pprint
haskell-bimap
haskell-bifunctors
haskell-bv-sized
haskell-deriving-compat
haskell-data-binary-ieee754
haskell-extra
haskell-fingertree
haskell-hashable
haskell-hashtables
haskell-io-streams
haskell-lens
haskell-panic
haskell-parameterized-utils
haskell-scientific
haskell-temporary
haskell-th-abstraction
haskell-unordered-containers
haskell-utf8-string
haskell-vector
haskell-versions
haskell-zenc

%OPTDEPENDS%
cvc4
yices
z3

%MAKEDEPENDS%
ghc
uusi
haskell-hedgehog
haskell-quickcheck
haskell-tasty
haskell-tasty-hedgehog
haskell-tasty-hunit
haskell-tasty-quickcheck

%CHECKDEPENDS%
cvc4
yices
z3

