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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.6-4

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

%CSIZE%
4859559

%ISIZE%
34440624

%SHA256SUM%
5f4f3488d7c19c45efef4f46fbd573e8db4d1ead4da01e89ac0650ae1ec2cb2e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrYBJ0ACgkQeGxj8zDXy5KzOw/+NXV6K5whjL6vKFacz7ZkqZUCE/OH/6IRae3ZgsHRakpZrDXH2WTh76Ag3/7p2ZVS2c3arFfzF2BDmMQFwWmGKIdt86+ZugoTmuHcO8oweguzWZDFBtnbsOBIK/by6Iq2KAJgnxPnoq/F51iwt8PF3O68gRXPet4g0m/qY5HrO0lkRhroFKQVKgdEv49eTJ2D/+r8ISDKskb94d4Fo3q7xemUL2IysyIqM3/k2uBMEbOaTdpPeWVN2TEN6pS4LJnuCLGM7kgBJHQK43O7gNE7BssmSxZyfyXzS9HPJrLszCLPO8nftSWwAAnT6F8I+NsX1jy8HeeiowWl0ZMWOjVEU44vD2EqI8J0uTHhCo8ekS7ZIWTwUoP6ws4EZ0F/mjQ6A32W4LAWj/Vy91KQsX1GSNRnreq/lkWScCN+oExRkYVo/vR0cQB8ga4LfJe6VfTPSvB6Q9Cgnwdw2ikxcGtFU4u/W3oSAABFIYvBRCzR7vTLbAck08Ymv+q7ExesqOBI80gfbpL5CUu7ZXKxw0k4BPjPjiy/BDx4KYcYT+z4iJfbj/pretcIyIWiDHGTPdTfVxgTJKLZIdDALwutOeUr4JhYjmVzU/uCHsegCfaZcmOB0hQdKGNcb367GzSPPFxQvGEiExARq9qu/uLgCHla3OQRY6hKr3HBcf7Qei1qKbc=

%URL%
https://github.com/LeventErkok/sbv

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792540370

%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

