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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.5-5

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

%CSIZE%
4853265

%ISIZE%
34442726

%SHA256SUM%
cb3375bc4e224f1774b9d4b9429ff52a1d249787bf77dea482f6769eec168487

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCgLEACgkQeGxj8zDXy5J3bw//S2G6y75/Mdqu5ikb4qXWyfsW2dWhdWxOsTNZge1zYyojoSApSpqvLWLib//Wdmw+b128/6fu3JGhehCdeXz3IjjclGWEymmKvA3wB6MPm4Rkf0X4dS7bZ+mtdt2WEtCM9R4Mj4tToZCmqkR8GzlxkeeCYhbzKeZ6k7xUNOuRhN2A/E6a7sshES3SAVwP+Ms3HOaonuMIZQUDKOC4rXHm+4cDzkOrn6G2sB0uvon/lNN0kAx+YNc8nJvln/tJR98BqWv5NGEacCbtTagw+9EaOaGW4o7UnxfFX/LbvUMWlIY/GNTtR7tUr0888G/XA3veLUXdxUSoEvkaEF9sKeuAhvBbYe81judd905TF6yMsFmpwXjM7+ds3j0XNquMGBOCaMfx/ZGESkVBu+NqhL1n30fKY9u1KTEgc66IXE0HQT3IhiokIzM8fFwVwEX3YdlJE/38l/zhb6mtrNf07p4nyWQb34EJsV6Ai7oN+7MIKfNoWdVbi1TnlcC8Ny4wp3LGzQ11C7w8gFj3M6sBPcyVPyuwQgbEWvTC+R9YJ6Uw4DgADFlUgxNsmM3u84tEh7PHxyA0deBDH4jSu5qMhv5ZOKocg7u8csNF7DPPv2I2zAy/c8Rc6ooQZ6vPtSJgp95GFSPu7vnpvPxpw4KyuMSnYj0YCIlOx5FEi1BH0BP/N40=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791130345

%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

