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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-25

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

%CSIZE%
4846808

%ISIZE%
34420941

%SHA256SUM%
63e5d562922224ba8184ab799f321a38bb8c9e2b19bd9f67dc6f5394147bfa07

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoS0Y0ACgkQeGxj8zDXy5JGBA/8Czh/6WrgD7ysmhA0r1z9kl2Yk/is67HQlatK3Qz3iz8vbzPEqv7oD1EMdlw1SNkBImOnnEocVmYm4K8tXmcIu1kLTjXHyHsTipxcUpyE3F0R2+u9MF5VmbSHi02+TXSRwkJRRuoFDcGuDbBPwmJvcldm2ycpUFTfWwngP1uu/fEABMRxFPR1HxTHi3DXPU936uXWBi9+hpBcNY78OacI4xVcrP6EUSPN8n7CsBYF6UdUwzdiCXOQQJGR1CCPT7rAEdejHkDCeg3psaowLD9W6U65/mV0o9Cx/FfcRK6pTLF8E/gg8I84Zd0q6ywXkEujwe33kZsRF3I6mhvd9IZiRljgE2S0zs+S8nh3v1Ry5APUoszzrMIndSEuD79YY3pTciXJzB4XJBEpiu3RwqmHA2MMquGv8tIL7P/Miq56qEE+eYV6YN1rqmv9ktk4e8e0vgjQJKfZAZBOFAoljwKQir0aNEjpAqMyZk5MQmJprjvJOfo6wV80aB2+2YTzxPh1k19tuPm6KTGj+NglNImoe2TC22V80xRSLggedim7f8ynZcOJyZyCO9QUmbAKDWsnGzBvXI+rp82DdzWxAu6EPPlxuubT35kt8PMZll9p/US7e1xvBT5rIHB3Y5QheO4Q2cb17HFGmXFRIkHIxspwWNUOQgZW0//RJskVX68Jw+w=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1779616689

%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

