%FILENAME%
haskell-sbv-10.2-55-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.2-55

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

%CSIZE%
4855291

%ISIZE%
33864780

%MD5SUM%
24a6865cc62930829ee818f10b16b90d

%SHA256SUM%
0a727e40ab7c0a0e113b9cdc19ebd7262558c845931966052c9dab191d807af4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjNLA0ACgkQeGxj8zDXy5KqgxAAl0TGhGC6oCeqLClG4+flc8scFYQVZSoidTqblkcJ9//Y1X05RwNjDbAFzHJ3gnNwJp5UIhait4qFqpXZygZsYNbAuEMthnNqFQcW7MPP0VOYWC9BPEuJiepdEZM4E49KgK5KxB+nTPFYOqK1FAKHJVEpECs1w6YJIvTwZp1MT3Em3penh6B7unUY2TRbZdAhn0N11+am4/hxAqs0L8OXzM8IG0aZqWQL7rNV6myaSbCXCFPPb539zKb8Merx82eNUDR/5M+lay/51DGYKEMWY+Vc2LtNJ4HWI6lk/LE7pXkh1jK52wqeFVMfRKyH/sY24nGRwa5HGdmdYyzgnAWj5PS9snX9k4DJoyvwA9JAJrstnkonkhpLJTR4JUi84BLlJy3JiDkAlPpQbrBatNulT4Q0RgQgPTa0SulCz7/Brs7RhwRcTSC3xBwmaZM803wOmTWx8Ezv8oYl+ccnmNR50o0r+szxw6+9VUqhsnT8X1GtagpEnmFWx3mvp+DUFlMI+vmqwu1TLYRXRt1dmviJgaeJ3krovDsh/CmSMl3ArbViwiLLT6EHacpYLlXbuF2ygWwX2D/pyLWkkI3nZraHJDl1V5CQje+tpXGrVKtZ4py8kmK68L//FkNqY/3zEsroEFjtH/zbkPo2Pul3zdJRyAHxGO8hbpuEIrKyRUQv3H8=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1758275427

%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

