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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.2-3

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

%CSIZE%
4858858

%ISIZE%
33847253

%SHA256SUM%
8c6e58678b7a21997cf549af9a8ba92159edbc3f3998692c99ae3e57d0145e35

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiGijIACgkQeGxj8zDXy5IjOA//btZjNwxzcU8g2YpLd/e1nQuQGZxxNNgkAlqUnBDawerBooOFIyFg25T3Sl4b76+d56g/zlAt1LnDjwoKEJ82nU2ac0z7MKPqZAl3b/4zj77qigrR35sn+Zw/AtA9R0t5g4vjOom8Xi+gIQ01dqxus/Z1U5u+Ov1xktgMNxIXRBJTEaK9AbubH6q9WSP1/ss+orTOkY3zYGQh5bMjyi3ddSM9OuMCsrkk6Z0AUt5EjyuUjP3aIAgyDt+UTdTrBAjQOMU9vBO/kfcwhRzkRNB6bxeoHRcuvwQVE/hHl2/tOUGKqirU285W7/d67dLDhtDtZ1JHyJDGV4wo3/qo5L5oD1JR/lZjBalUZYMdyMN56hyJ9NmtvcoJPvOdcAGOgU9keqgeDfqO+1ggunZAt4KTHK1V7ck5xmmo0Im+hGHL2eu4x3yeXgxe4TYQQIfYPYiT/flNXpgD/lDmmzvmuoic3l9rc9JXqwOPgefbRKQAb4zTAUq+08Gx5qOSXGaZyqvx48Se/Hv7qPeRnILuqbbbH7NPfjZXGvvbxlT9dHJNaIWg7AwLuLzcqXYllI5fSWkXT7qKnE8C0Nk9WJzkk+lA4dkPs18Gg/ITBCwXdk8ckIOvWwBi3m62kFOAcf3p9DY23u0+tmyQ+WURwWbcHqnvw9ZmZaEfJVY5mIIED8AAtN0=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1753646585

%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

