%FILENAME%
haskell-sbv-10.5-6-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.5-6

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

%CSIZE%
4854792

%ISIZE%
34442427

%SHA256SUM%
3501d98609520cc6e375945a26c4fb848c9e197425b40c6a89e83bc07d7cec17

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrDf/sACgkQeGxj8zDXy5KKoxAAkOuWl6LBo8Qhxf3JT3yx702W5Q6XzgXCwLFC8QP8dFPOlc7c9YI142Cwsp1o/pwYAK65vfamdYH0dEgp0/bud9ySmeW/2/znWdUxTARYu3bbPP8xujatoa8L3eDcUl6yhYontEv+gXWtT3AhxSC0DEe3tAO/C0b4HP+DD84o7ISUCTY6/NQmvs6YhnJRBZ2um72DN8CJsH2v4WMIvMSfsVlR4IzLlFD0LduMk+th+zSerPUXXOwQfFaVDXQPGr99mcTRe9W+ohYmQpjJLtld0ArMep2EcNj2PLuKfIlapoD40Rds3+EM0PjFk0ncQ7rqhH/0fqAQoOG/Ws6dOgbhPgSZBCctaGh+P9IPjfF/RS+Ofzl/zJkxx7O7bPW0l6dyM90vJC9/b/gfKqwhaL3tVrQuH+ouWmMTCbAM8nevS5NkcKCEZgzYt1+N6c8CemQeC0jQeRJAnyaTF45mj0RvB+kHBxLiaJ/SzFJEwouitiLQ1ty5JYptx7AMBYxhwBe3iY062x3kYRzfQkbOB02k7xdqmdXl0IBDNCHvUd4CsCafRE+FAURnUWEmKiPR4tgElwlSioA/Zy7+Cdac4VvIIVzudJ9gLO0PxHIyd0ypRtT4Lr+dy0/Y5TofjUOWoO17tslimBoHTMq2wP/QYzfFZiT4guHkvg0FLoMs1FO5mjU=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791196100

%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

