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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.4-13

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

%CSIZE%
4851676

%ISIZE%
34432968

%SHA256SUM%
ac6dca969c67129b60b8425ecf2986e3e80c62b6d3a1c5e9161df2cc4cdda964

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq++RgACgkQeGxj8zDXy5KkFg/+P0gazyw4f9v3dCOQLp+gMeUWZaXAClA1QgVLwiC5zx7dvDv3xMYWsbMScz3FoQVKNdUhj0vDuAkSmKAfkIwWFPQO4OoqlYGg+GoRkysepA0fGNi0pRP16tZkSFWJOnLHixVICjTeTyHXo7LEh1Lwi8Om05aozoJ6X60/m59nj5mkDp/0k+7pZ0ruCp3dgO1NvqfrStfEcUyAkNJr3Hw6kpS+e/I+//UQ+iV7iGhbFlQck3Hq8VZKYoxkv4YxU0qmky5Gku7W/Cw3HNjPj5wxVbkHWFS2kl3e8Bchqs+6Tip2g5uyDbjLx98oAnWeAJ/qVwQzYGdUhnEdg9IE0AK3cq4ez/mCJCuUwdGAoQc8u/rT4mCmRn9hqtHfU5K8u2PFXgYnnKKT2GRao4erMSl+/nogdsrQCAKMgBNtd1vBMKVufX+4laK8gy02RLW2bjbtdnt+nTnChYzPBXBnmtvzPY029APmFaXmaXTy7BSsTF8DWaXScB4MdvgYFTRyJnQqtixJ2ca2ebr5qEPl5jdmgRU+kHwGZk2IcatK1Hh58Wt0yxyljeAnLIJlmuzahxbqFSA3jdMWAUVSH6y6t+P0YxJUi747U6ozp46Zzik8cbMTkTgG9O0R6uvQfUi0SrLeQE40CwCPIziVcp2u2Od3q6/jNtiecut3DZpmevNbDy8=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790899431

%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

