%FILENAME%
haskell-sbv-9.1-64-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
9.1-64

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

%CSIZE%
4428496

%ISIZE%
31721134

%SHA256SUM%
e3b8f05f6776cbeae12abba763da82107b843af79647fb7f9e9a48b32dc961f1

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOooACgkQrx0hme8KPM8LoA/+KxaIV8DZDt4eJjiiDenRht7N7d6spcIWgnvcnsOyJ4Q/1km5jQjydT1EnbF1sDax6ZBVlOAeNWLRDdFMOKxJ3bYEXg1uaZs4Rmn+A2Hjy99afwYOxT1L6cs6hyeFezYuvpsN+XVhQRe4SBB7c7NbazvCS8/WlI+Jtjw4QJUf2uys12qDqn86RSqx0zjCUpd3DFOWXWAxiT+imCkrYJrV8FLTiK8FlK5tcyO+LdSLIUCBKwf3brnG74hbHHZ/YBWw1NKUqkS/kADVFQZBj3QEFD0kLMV4lMnmnHJqUph5QZpV7J7oJJSVK1bodvyZJni8hLMv8TI2UC/0Rmu5d+YDL2/s5ibpEhkgbNJUKj9WZoqoh2v5vaVyF2lCnoBBymNryc821xsWjgJJwxySrdlmqIYORaNNVE8gHAGTvDavqL2RefD2r5RlSfHYPXJ04/114PFOfFG0fxopJg/dBXA0vmRX3u+DBlpfvaic9Lz10nqsxSLInUCTir5RfZT5AjttTFs/3K85C5FGPfT6c7xhLAq/C76uRyTA0NuvSovdw09/EjBI9+ewJjphyjrIewFCIBvZj6R6wMHMuraK9TYyrGH5woYeoOrL0XmdAzO8WswjSUHZlOgdQ5wD0egspdEyEhsiRhg92UmqhK+JTtiTnfG0Ve0KoYMxjqfqwOTqXPo=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1735934004

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-quickcheck
haskell-async
haskell-libbf
haskell-random
haskell-syb
haskell-uniplate

%MAKEDEPENDS%
ghc
expac
hlint
haskell-tasty
haskell-tasty-golden
haskell-tasty-hunit
haskell-tasty-quickcheck

%CHECKDEPENDS%
abc
cvc4
yices
z3

