%FILENAME%
haskell-sbv-10.3-19-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-19

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

%CSIZE%
4846564

%ISIZE%
34421400

%SHA256SUM%
8f2a0b363745a5f759cea9a4f283f2f41e7a37b6018d2c997220eb64442e2b65

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7ESIACgkQeGxj8zDXy5KicxAAojB/kvDTJ2gy4tsfkhFFPZ38GLC803Z2onCPo8Jlf33/b38eRgM9FBTO3pbIGC2qKHgT6lGkoUw3FulorWvNslRyXDw1UrEXVQmmagFalnC+3YN4+fdz/hPgJw8fZIq4tU0dSUEMOBMXiWs1Tx3pn58oGEJq1Tsu691SxAtpeegeNXJ3n6NGzvyCkCF/NKWeEInPzYYK5BkCspd6bMjVG3QJ5gbUAR7OPnF+h69DFrttmGdRA1x6qkhW/mW2SnBz+ohJCdZOZrmkV5gKGD0DLGfXaLmCtYfWfJhi9Syyll5WCGvdSo+SQUklBBOzQBM8Zcs+m8wUZylQ+VT5APcAIjqyhGqjMOZYgrMhgrAkWEeXKGhsGlY415qCDpHjYHdrfZT69Q1RU7B2XR8Mzvo/8o/PXp6NUjV3w+qexOuJXlmTuxoGVG+sQeGNnthhjeSj47XoifRsDX9txFQ4imu8yWdEejhjRV0o1CmMnsv7ztaH7pd1bJvMtYXpl7F/ogbHthhjQ2fEyLTibjBDgbWeodHTSxkvoUFcz7oLyXS01XHJ43E/Ux3Af7zGsq5zV9S0mcFq9k0XSGwS2KxRpFPCc4rypsOp4PQE3cGYDCm/kLK0SG+lCHC0YSgbUhDNAuBiFQfThN71pbefYnSDq7LiSWSq/yspWKkarEaIx5CrnPI=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1778060609

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

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

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

%CHECKDEPENDS%
abc
cvc4
yices
z3

