%FILENAME%
haskell-sbv-10.2-71-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.2-71

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

%CSIZE%
4682768

%ISIZE%
32734602

%MD5SUM%
bce3677b962586888e8df32bde87df9a

%SHA256SUM%
75a76536de1ee9c9b1200fa1edd2f2162e7894c14f851ef86902da8e096da27e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwIgEACgkQeGxj8zDXy5J7vg//VPG856mNpy5qiUKFtORhiGg5tgtp87b7YxWHJ17YyErx6VelTK0HBSYNNyQptdNaG3OLJ0+zFHWwYha/QPYsEJY9VUzpGBdyKKQFJEqEAxxF1+sJ3XaANXW6XsP82WpIPIFR+duj8I3HuoHZ6gu88xQH4nX9xV85IxRm0KjkYRychYvFmFd6v5Bz9EuZ45TpnJfumxlueUagapUXqrYxHA5Kh75rtVIC357vkdcU0nO9fjQiu37tuEzgnxzq4lARhmoDOSHH7u7t6kMrdREjrz/iVWu+Rv/nXzl6MIJoZFYj6HwR+X2TaJzXvs0TSuBBLET78yNdWTb/Q4DEp0ueeKeHtoJNq0+zayB0aW4PhzxxfXfgRfFrsBoUYHkX6VP91sM1H+dKfHsvJXviGrwA+jMxNQG5oXdtG2UtiWV0nkTab+SOJFWBuXctYdCdNFhkJsMKlk6+qeg7oepbOUCiTqZ7m2rB7LtadqAlENLp8SziyQdCTQe3praGSaNBIw9k+z5ijXdzZ1zE+qGTxo3vX6mnjWsSpH4YT4z51dkFqoBjGTuzZdPSpnytEavh+hnMC9T6HftEL1VHBMuLPqInyc8IgfuRvxaTZyu2S+MkdKC23Oq/v8aB3PHcvyahwlXbyisIqhwsUTw5ax7BW43C6qh43PtjQ3S+4SJOj0LFZPs=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1760566808

%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

