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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.4-9

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

%CSIZE%
4852820

%ISIZE%
34433715

%SHA256SUM%
130a8ec0388f1c7f05a9633088e0de16176bc819fbd12edc16bcb7ee4378d359

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq3ETIACgkQeGxj8zDXy5IIqw/+O8ebeZbuWM0CHxXL5o83HEAnCNs/HJ2MduleM8iJ/MnWRGfbSAh+Y0KBEYrYyw9GsVd2dp0BzSC9X+EU87da7F/AqPxIaPpDduhJf90LpmNZVa6g1Cgvy80GNzydT/PE9zaz1nShHpnkGqk2kV0fJ/ESTh0t2QcgKqHvmslJlorj0sdoDT1OUPpEqV1Yb6BDWAdOGeKXWKdWHjHyleOVoxwQgAY4ulyP5LBnqg+K25Rg1B7oVa6d5LSy7zuaG+Ji9spl4vakdR1ditmBPHGNyR8/lW6bYslj7ItoXPgp4TEgklBO5JC0XVgi17jENmQTVHz5LIq8jgzNq6mMP9OZJYa3bT8a+qD7n3xaV4LA3KK3zycpJDrfIg+swlzqZXZwEg6QmQXag2BZ26y3zxrAbXnxpJgcOkFbtXW17/zPHtCAeMu/po0cXLmev/jzGOKel5xzFeprAnydumocRlti+U3809zvDv6VmI+kw1IhXDir33WzkFJQz+RMRzr6qwpn+a+s1zJGbq4njtZObnDyJ3NXKSheCfMUBmlXkNJ+dOOpSmZe2Lsvwyb+tuDmn086FNhTfJGSwnoiJrRO2zL8vKFsRk63amq4j/F5SxzaplDBTIAANT4HNVuYQrnk3unFphjF0m62uuM0UKH+1kLBOFrxRgtYJe8VeflHI+VMsao=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790381751

%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

