%FILENAME%
haskell-sbv-10.3-22-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-22

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

%CSIZE%
4849997

%ISIZE%
34420152

%SHA256SUM%
2db7c845ca8090800db2ec2aeb9eb5b2746754b26d789365f9de5003d8099d07

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoEQVsACgkQeGxj8zDXy5KjNA//TQKg5w8Lx+Zl/kspv9CWPyLkCitvkynp0UEiS5V/mSMwamtbxq4PyPLUr6lvlKNfl+uPuuDR52/OVcM4xK+1x4/LlrN4MCgu5FNuUTIFgfSnuADd8T6ge17VMZoalDcfdFQwm3jOkUPG0GcOtq+mVE1Ky8tNxhMAzttnwLxDDacL3JfGMz4LmEsLwss5pCiNzKxFMPVQIK6Z9okXLbDSumHw3jb/W1a0cpW1GMW9oj/WE4ufcuiPL7uBZ7lFxB6+uJoYiX7dRCpu9muLbSL1yZteRKyOWFGHdJU4vKjkbwSLKY/yQy1jPTifSybhblBGOw4YYgb59KZaDNc/W0qLOW5s9gL9uUPJP4VIGhnxj0jsDfHBy18xLkK/kSS9wgE27RfUtyrfCccU9R9O/H+TBlolNSls9IiQAUzFqNGkbJRNdgMxwqmjPZFTpjvtpZhf/2ZpM/74EGGV/7XUiiTn/Iqz7OCRVb2O1piXO4IxmfvGjfenkWZqrxYFAOI5tpmeIRm7RaAGtF1E3+DP8/F1wxH/gNuvumCajybwOagwIpwJYfvBvnmiGdTMKGpsX197bGOkVRLsmzGk9LkdIOFiwCziAVuew0T9v8m3mAqQgcEJ/mZ6V+JNekCMwLWQlL5FFZFIJvKdlDlaL7dXIV5aefeE/QFQLyjDvh6ctQtsZWk=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1778662729

%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

