%FILENAME%
haskell-sbv-8.16-40-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
8.16-40

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

%CSIZE%
5368737

%ISIZE%
37680123

%MD5SUM%
f4d400051aee4c1f02cc49ff571cbceb

%SHA256SUM%
72d191d893ca1efa25a1ce5f99c8de4b726b3831c1f72569449866d3459e4cf2

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHjmo0ACgkQeGxj8zDXy5LZqhAAigH/kiz+64xqa5iaHaI1rd7SHRDt9Myxh8lxK+7kPlSkoHJMfgbQpfoLPdsrg32aoCBvMzKHc8goHGx8ssx8+xhpSQjlELWQb2lDWgKogX9J2d5tTkl7l4E0QcH4KE7Va3KyN+8Xy0AciAo2BjxPj40O/1nhSWPClrvpbnABFkWr/6LpGERxXC9TjxTHBnwkzJfSkkMGEia1LMZ/ig1pzPqHc+0ANGymIBpfzb9VidWFc6vZ3YKqZUqe5r5swR2F62aFfdZEJlP1BaVsp3uURVZipzkR0Ujk28Vlm6d1iTeW8G/MzTE37jaqNtMLvh3P/me+aqFR0tpNFWu04K1Hf+ZJIc/rprLtIkzF7MNfinR3DBxInxrTTBbeZG/g8vvIqnPK3d15zDApubK9y54y37kz+gTMMPSIfDB+lWrNCxtHAZGm49KbxJLMDWbuQOht52KwnWUD1DLMKoeeIWfhG3DQWnvY/oJyujE6MdW7VsGyOoO0ULHP3bSmOWW+DJXixBjJBz0ua13/PYgDARFnzyrlgcAFsfWmLRqeOjzdFi3TNjlTgt/cJbs0YUuQWkaN5wHXykUefkpnPDQFcGanxwTSLVBixEuNUG+m6fucSpv9AzIZb+JMJEUZlQfccN20DhYOb9VvcUUahLWFGyM9tgcw4owS/fNKmf08ON9ik08=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1642305828

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-quickcheck
haskell-async
haskell-libbf
haskell-random
haskell-syb
haskell-uniplate

%MAKEDEPENDS%
ghc
haskell-doctest
haskell-glob
hlint
haskell-tasty
haskell-tasty-golden
haskell-tasty-hunit
haskell-tasty-quickcheck

%CHECKDEPENDS%
abc
cvc4
yices
z3

