%FILENAME%
haskell-sbv-10.3-34-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-34

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

%CSIZE%
4845041

%ISIZE%
34462264

%SHA256SUM%
53552d6d8133d88d0bf5dbc2cb3719d5aae460f6189e18a252821b0d91062731

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo3zQEACgkQeGxj8zDXy5IIaRAAh3MyZm6QHIqCOjBDaYz8Avozg5Ifx7PPOtyPN43zi5jrkTqd23vi93OPBBrHawUpuF+r9wraesJEqnvlG3OnM9riuxxn8vjb/6o8MzrfQt/npB7MEnqtvOgwIjTdtdFzRzYN+epZ4E4kavcV9mWJjusL0qqCjDMDuXab6kkO1BWEOewQpBeGumEYqDMSvczpxeaJ6tWiRanmGwdFJBT77wyjsr7lU2AFoZJQUWxjeB0IPJLDALPTW44Abzb486Cd0wLaNI/HNF9jcXzzKxKjPEXnSTgXcJM5FdUYLZni9ZNY02z9IRzJa+Bi0KoWQOECyu+fFo2UpVBVwLWavv8DEoOjT83Lbl7RX7ikfs7kKVkvtvjDrdlaRaD3lPOW+3neGI5xVY4iMOQzlropLZ9qiChavSBFAhBAuggcWzJoHjHpUf7NGYscsuDTC6/vaj+CksLrwonKAZr33fU3g8f+TuM3pIK0jcHk6enzM1EdHTwxAj42RiPOEQ2UaFu7zA1RPgiCxdLqLkATm3gfMyjM+BubvCGG6+U7v/m7M2aBAjdWFpn4jVrONeGbh2tPjcj8PR27HHDYW0A1YnRAKoFvj02qLKjWZDpQ0MjaoOZJhlpYl8Szr4NxBrBbuCKqcucA+ZOPlmYdDVtFYpdinR1Kkwwb5HJ2EWRIdbqbI2iInLY=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782041231

%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

