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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-33

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

%CSIZE%
4850151

%ISIZE%
34421212

%SHA256SUM%
fca295446907d8720499627c1ccdcd129894cc5c58e70f9b304113364f3d9855

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo2/Z8ACgkQeGxj8zDXy5KixRAArfxW8Pxuol3C6eNnBEEq6Sg306Kl+72oVVLVy61s1dVT/K0ooudC8YCSP5AbZ6huBQv03fNnnO76O0+2M7oT5rwe5x3i0h6qpiNakcJrY65lWBaHbH46E8jWt6q0m/opOwrowkrUimLFJDwWVq1KIyEn8Aazls+cKLg2ff3zZlggboL/eSCtJAYzj9s5BSvguEmXcCnxQ/DhsKib2RsFvSpRERq54Q4zrlwE9g5MfCDp3Q7UfgsrkHaQ8yDxIWBBk5/a56PmRyxoEBnVn46nmDv8A11VFJNoCIBQDsseXLwrlKnrAemNBFEkMWglD+gnMqIQP5EsSYWDhVkkNsMcyIvhVYMi7VHTDURLoEejXU92J1JjyipDBXEbUA+RoOdQ+ZxRN230kmyPO0/H7wFmFfKng4SxGbTxL2lwoNL2s24zmgloeCT2IPIUswPTqUqowNwt9XFgO5tMeG9vKWnUh+s3rB+a5xQgSHdrlOr6fPll1X3hYKyGeVj5pgumu9sxVNkjaQmTv5UpAd1gWWXggBF7+bEvV3rlXY5wWSC0IomjzhwMNnanSgnzJQKNdTRvgbdEFh2ZbYudRPLsxHnKCMrVpkCSFjwoiO2sLrSnOd30043g3v1y8Ce9ZBC8Yf3Bb7TanVzk9sm483cMfK/1+9CuSFINcR6KT0MCOoJCBBg=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1781987728

%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

