%FILENAME%
haskell-sbv-10.4-3-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.4-3

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

%CSIZE%
4852606

%ISIZE%
34473873

%SHA256SUM%
d9432011cbe9bbd1f69b2ec468db0774d3f0f2f2f75366ad867ff0b08e526e5f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp6jn0ACgkQeGxj8zDXy5LQFg/+N3nmrjGxW3HATFMg3lSy/c7emz9X9mAUNzaR3dqd5dxzlECZvCi1bQyOPnE3fQ86X5pYmGDsj1AA8a+Xj2wl92VBGAVZNZSNzx385XWMD0nsXP8BinwozXgeX1oL8+3IKIU2/YTC5rp2zpOAHtr9ZJ3BWPVAg+64VCvlGoSJlWPQrIKMKALpxFmZsOQ4vAchOIQRt9ZcM4CpQv7FRrL6o/tSgLalXCiO2hf/9LktKLQ2wtJdKk3004Zl3fTQ3XMZK5qaol1D4nEsUvJHngWKmZsKdBYfEwVOm1LTj91lqZr5S198vPxpCcZi8mLSsv+WpannkfZmvz7z8ZGQnH6zRas2/8uNuYAzoxEarcP6yuctKeUK2bJldoBMyQIPZL4RizvM6D2llYikZYIAdvNWreV36va/dXf06FP8Jw0oz78l2lGg25splUF1EsKRKD+jKRt3+s+/6c35a6JzxDePZqf8dS1IHk5PMZp/HbcbDB7/zufxK54Ydg3Hlb8somMSLeCqJ86iVAYDUHOBjx8wmsWQPkhQ4xWRklvnAr6Ex5GDEnTnSf8yYL23AZRb5oznpxWleAcrLq522dFc1P9NF8lTsM2dVyH6r1xFZn7hnpmDzGrntJ6uNoL8oKddQ173Icj5JtbQ8G2wvIfMlnRXdMxtQksMxOws2Rkf2ODSif8=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1786415695

%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

