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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.4-4

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

%CSIZE%
4853980

%ISIZE%
34474705

%SHA256SUM%
1e1cbd364c2c33a923156a865bd723d8edffbcfaec3f1bb80229205cbad97e56

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSHf4ACgkQeGxj8zDXy5JlYQ//RQULWWt6j2pxZ8t06PSFOX0VEb2Oj6ijt359tZVgtZKQnAUxadpeh663mBykcvUOeubt+BW4wxaHMgdvYIMYMgVLIEZ+fZsW76XDkjDrPBa1qXVz9+wS2lxhPbrCtRP1XreP7DI+BSg5Hac9I2f5xkLqjffdol3UWhee8KvfrZOevbkJWqb7t9H1vZFOcWCJXmfcHksM32AeUp97EhW4tk0vmAcAYEvHv3OEvYpm/OykjpB8Ze+VGGtpwCSxmnkkayWOqE2FEWgltcKIfHRHyoEpWDPGxbwgNmCne0qtJUTADa7LvmA6bENwIhGs5Ezq12j19UAtixrqNIF57CHyUoE8o7MXhe/0BkMkNQkJ3H6blitTKU/Q0yuLEX9VQP+V6AiT7rfICv1MqLxSuFjuAcFjxEhtiX7SuyKFQgL5DhChxTjC0sNcFxbEwQaFyYZqprsV/AX06nseAk6uJJAcmbr4zDqmFa3/fq/wfQj+zxq6CDwEycooPCFurgp6HnScEvx62AZnz8EGnZIvZrHRcszz5t6Stq4mi5YuNTdGAEfyVLPiXhZenQysxLJID5gnFr4kc+3OadO9ndt9SjXCsunVB3xevW3NW2iFUH/b5AYstZUIDI5FI/UGU0TGUfs6NFpX93wehxOvptbLllda1eIM7QKM5mwdZTIk4jsAZCo=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1787959731

%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

