%FILENAME%
haskell-sbv-9.0-2-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
9.0-2

%DESC%
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving

%CSIZE%
5474132

%ISIZE%
38533715

%MD5SUM%
577540735c971795c5af812164ee9558

%SHA256SUM%
c2326fb292d8a0b6ea3dfcac9cec0658f29f8a718742cbdd4f967b96eb1188c0

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNOGTgACgkQeGxj8zDXy5I2Ew//QbXWFQ02UpKN9NW9F03MXCJgWN2hDrtSRpZQcLi/R1LrgWaINB0Zy+XBjRSbppsE5OUQtDiGpah8rIGhv4b/1vz0gGtT4NVZZNE8ugjDeq3hX8elK2PKDZ1Xx0IO+V6LCP0LPRrKKPUm8I15xy7uyNfJSxhmI3C5UHN1fJk6+3POeq+WKkwqm5hzviVYI64AfnKoiFlLsbQXs5Jz9mPuqcibj6BSCbuBQqNSXz0DzpVAdrrtY1w93RLLZcZRQ24l8H0fssCZSWa9u8mqH2I2h4k/xr+tL6mZMIuo/tjSiqSABLOLk2ozqrNV6m8W9GL+1aSOwZu9D2qBSPErLCPBdI/q9GKlaxUsIBB2i1XoqZmTv/2r4J02kEeSbuDiegPP5a7w745AtKLnxhz3PvOsV5D9sbevlDA+FvECxLvXMNn4sUhBY2Cg5mof4V5XzkMP+hz2q/4f3BPYfoMCmOtANpBAc5V5jyM4T7IFvo5jB8U45Pw8LOaoxpP9VnrFktIj5iOwVkveTkA5cRnzNPjgDIfBD/DD/r51vCUIAQV5powZLj2aOROWdeqkO6fdY6EQWoS5XRp04zwjyku/YpCdAY6Rg59ePaYbd+FHiC6I/oN5PklpY5/oPYCbjFjxbddGe/5i9e0Gl3e3IYGpOT9Z6lYpSF9abd4KACYxVkDCQWA=

%URL%
https://leventerkok.github.io/sbv

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1666060883

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

%DEPENDS%
ghc-libs
haskell-quickcheck
haskell-async
haskell-libbf
haskell-random
haskell-syb
haskell-uniplate

%MAKEDEPENDS%
ghc
expac
hlint
haskell-tasty
haskell-tasty-golden
haskell-tasty-hunit
haskell-tasty-quickcheck

%CHECKDEPENDS%
abc
cvc4
yices
z3

