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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.6-3

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

%CSIZE%
4856538

%ISIZE%
34485523

%SHA256SUM%
d9306428f11a57c956affd5a66aa375ac1e5ad41e79279cc99728b9826b1295d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVQ14ACgkQeGxj8zDXy5IdVw//VN4rf2IfSQH1jSvrJOix/HjLAFDg7hIPG0ULQKE6sPkeKWsTw/66SAV9JjiULtqEj/u1JNFLM9BhoaVD7Qemure3fMoGq2ytbySvf5OMxxN279Ijja5v+jGwlQkSLgIF3dehmcdwQgqoxTnC9yefaC3cTt0kDruH+O1+3xH9jmivTH7iFXzbEDO+AFSk5xa5BExXNGLIKE8FFwxPVTUuVSug4w79TIko703NxKDgo2y0ldVRgNvxbDb3iJi8uCmwQ01sQ4Cy7hw3LLJWNG8XpojNqPAdRGHEBsDclJjXLUiGCGT5iMlcaEUNwyZn7+yMokxr668668/uSHNH/6CXbrz5BLWyEAteICAblmO2p34u1NqejlNYoAUD7BhTScsjvyHBWTza+IyihyJAFaZqKUHiXrZ/FMZvI9dvp6ioJjYbe8rr2SSCkWcKnc7+s7JlPXCph/r74kpCTBDVFmaqjvh27G5Lvyqgd2LiOZnnUXgyhbHGzI2SAcjOL6nG8BvkNg2IhnwWwBnB5Yo6fgGucBlxbxO682fqwqWATbbsvb3cYGOg65NqQO7e2s9xt+F8oKd3Kz3PqczJyX0Bfk9EhBzNwsMctgia8HUNJ3uonfj5wOZcPrPQLGeOs6+7DtFlWclX8fX9zfGZcMcfHOerlNRhuO7j58tH9/8jTkQmUx4=

%URL%
https://github.com/LeventErkok/sbv

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792360295

%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

