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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.4-2

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

%CSIZE%
4850333

%ISIZE%
34433771

%SHA256SUM%
eb00a5d2b1038e8a20ed05ed31b9006f8dfa637cc61723eabb57e719e24787e6

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn30MACgkQrx0hme8KPM948RAAofO6/hAYzkwI93CP1uZVNjhtseNIcIeD4Z8Ud8qhXD3jEKlcFZm1FL+vPWP470mh0ItKoqjQMnUgDUT+Q6o28pHyl9hOymfXKpDmUyuZNk0huVTrWNPiFWBTzgFK/xKC4vPWX93SOLj8HMkmB6rddsEPzW2I3TQATsR8gr6QQ1PiZPEcZehOB8ZUVHiAtgogr5igAYayXoOcHh7wfD7jYau8ON7G9bWIegVAd+05zu6Mo7e3tDIXmn5IhdDKYjnLNp8C5nIJNGeKzFzCBbYeektwPHye3Uh55ndnmfIAkjPV4k2/RYSnmfZ4tN9scxXWHW+kQzCRLBRS8CrHc1hq+ik6+mfryoUI+eZs1ptCHBkCUL1EylPkrwVVSWyNh1MIsCPywjQx2+QKaqD/UELQSlxobHRWEG9YlU46tCr+JI0nkZw7dxf98U+e7qSLMFK0G28K1C9I9Sm1wIcIv5TVxzHVU8poBZQR2gEf835pZFjEbtQCVerBxBMKi3q/FSShBUF0ycdB1jmJRn+4S/fMzyF22gCMt7j3XMEt01d5EShnO4uvcvrc/NVv5fbzED4pXRA+iiUt7bdV5Coqw795SfKZSR/oRcAuqgEtXwMVNMRLefG3PiaYx9HpAxHvetCW5TA1fCvwCV7Tak0r/HhYLh0UWHqLHd7/EjAZCr1staA=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1783015603

%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

