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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.6-5

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

%CSIZE%
4857878

%ISIZE%
34486460

%SHA256SUM%
07ca973cddad75fc1fff73b66d2d2aee20c3953818f5b7a0214a554aca6cc279

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZLF8ACgkQeGxj8zDXy5J86Q/+InyR280ciOzuLWZKdIaMqJ8COXN2pP5lq+VFiEb314QGh8L7NebZNcnsHz3NHA+k7S1D7WLHCYNA6TYXXBmj53kQCZYwrtq1ibm1u5SuDUZJoRHa9C3GsWH1WQ4AtcvUi74qW3MPwgG5FYslw6xUnz1Gf+AuZBRAVvyiwgpjkqxIaZqeDnsDu4ZDO8DJiDRLyBHXumN1W11WJ2FLjTxwnV7DW2iUKthSUyF0Z7Xi3m0s2kWZmXc4JiGuwcieWpbWAz/m5BzIf4Jh0z+NChPphxsBCsjoKH7e7BN8mEb6Fcf1QliNYtoFB5LjB5Jtv0o1uYG38ga4agxu/igHPk8zbIGuakbwC04i60G1Ai/8oVxtm/XOM1ZHNd4V2OxS+IrIJ2pXJ37f8nWdwxqTzkK6dkElvLk7+xVjxlGwqI/E2v80Q+PyLNTj1OjlPTGtqNLCNJoz5LKVGh6CoXL3Z/iiIfuuCxrf7bSt32rZet3onKHrLCP9hb7yWiJ32AduAzlB/6WReMAKPbCsWrzBJYa+3g7WwRiWifdjGZM+6MI4P2cpTi3Sn33Pe94DqKdRbqErZenCWaJSFGqyMn9MBx6xObUHaFT/2iC0xb6pDMEKtEkYfEISu8qmh2RIrNPXWeoYAmwO0sn0N4B02rYDaOE9ZPHU96giUwAybfcxWtgWpCs=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792616910

%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

