%FILENAME%
haskell-sbv-10.7-2-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.7-2

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

%CSIZE%
4852337

%ISIZE%
34526560

%SHA256SUM%
fcd8e550e4f68a0f4ef5b94a2b73e8d92d28bcfeecf1d029df549c5689015696

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrrGekACgkQeGxj8zDXy5JAow/9EYnqCBHzC47x6T4ry/arZInIcTJRqaXtoCaDcBkYyq1wqaUlEIpewfaNjTx8+b5sKDO/ID0GIIXKJHnaJN8TP/xo3Mqe4buLx3QijgEPyALDl9DvcJXDXTUbN35ZefjeTSs5OISxcFLMpWvtnWCFHmD01ZNqaU/0EjzZTVc1Pu9oUKOpDjPXcf3v8SIpsm8Ck8fPcY8p73eALeny4fj6jwptGUAMGPS9Zt5YMsISEBLLL9JlItqZts0/irXegaQWDoAWwYyt/Lq08usEagJsJg2khfh0zzxpJdRELVvhwjhExeoCiTDPw+1v6MAQt8USq7TqUU3uJLgPeaP4zx4KWE5sDD0Y3UfTqbvOTEFhKfXFkkA0A8OJ4q6y3IDhdcVcb4F6Ru84PfTQ21+R6Psxv+ppePrcQzMMKYeNjg43R2l1683xIJRi89TJgA7klT6abSjjZOc4lVFB6iXejVj3A39qfciUaVUrzOACBgCYXXBhjK/j88Mh8dtcmL33W1HFMPi4alFNncUT/D7j2xxl51ahYj1a+k75tCaD8HrmXRBKwsZOa19If0IblOlc3wje/2B4g9SWbG5NDEZWQdqW+L2ct1UIYPI8xkJsdDPD49eSbcPU8mszLi7L2cfEdqPNnS1bT38kslUwWtKDE84hw7Cjd79hUKJ2zlZmrf+xO04=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1793788891

%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

