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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.4-8

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

%CSIZE%
4850618

%ISIZE%
34518961

%SHA256SUM%
1afefedd1b29348b9d7520633df96b866504dc44841e4fc64c7c2c6c5fb4f1b9

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp7KcACgkQeGxj8zDXy5LZShAAhpL9BKw452CUUydPMZfcWhA9D8h/zXuT5Y7AYr/b3GVfkTU+vjhTeLLKINTbhBhAf9HWzv4nCjOm4YHM2WxvBJPID6xhOu4KaLAKvjUZFEL29BVXpeWn/0IeUvvDlZXQ0GGrK1/OfGbXO5yS6AIt/Q7EYonb4mOVeRA40nJ09lSAC0qSpm1V4sVfC/+psXimScegSs6svqK6r8CZe5pWTj81f85LjM3cXC7UwbelzeUg0i2yd30Wl1X4uN9I79tjL7d+hajlTeoLl+9uT5j40PiH1L9xSHGiEN6eTh/rthmDyUyIEEAd9uWbkFfSsTfmHRPlimC7Iv1YP8OELRDmysWXJYJKhgH1147amWEG+UHd0oYTkvB0g9iz+TzGVU4Atiwia9YHprfLVETIrQkTzpGP9JAe3B62Qfr7iFcJ0b6khvRxIXh1j9B6CRn2+iTQWLoYYOk16ealLAyZrhCw+kCZ9kqcnPhRBCQ8RU3drWn7GRnAk1Q8kGi7U6fq7xDNtlPklfMaQJxLuR+dbUXHXV7vLicV3zRnPuH8DFiMbDlx4z9S4H8VG95uk9XfP7l2UbVcIgvOGL3CMfYH1XR96FYGLEitpFIvZu1Xn20DbhBI19K0WH5XAvwJNFc/y0tbHDoH81m/E58cFk8Uu8FwZ36Wwjuhhr8U39Uuxr5/rNw=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1789520065

%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

