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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-42

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

%CSIZE%
4855598

%ISIZE%
34505535

%SHA256SUM%
ce1dc2507690fa9f6dc124d5f5e66943dd016e039e29df593adba816336dfb92

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/8G8ACgkQeGxj8zDXy5K/tRAAqDyHpvLeaI3NTARWeZS+DvQ8AL4sli3aK9DpWdciBvfEs2ddaSYXtsBo/uRCJX+pDEY+Kxn74m0p7wdnmcI627RFvUz/Xo7l/9pe3Nb+NpJRjdZDv21LcCHgCBbHlQDF8oNuTfa/slfkJSfYoCuwtmbZ0pIJWxbAxFzVDQxBlgghABN01f62wDbzME07O8xI+0yye0/CFTPV8g32KExK/r340Pr3T6SD5rdViJUZVEy4FsjRh7Pf9Dk3J725RFUoto7StvJcEzQTJpC1kaWh8vP1IVkXXLfa6j1DRgKDXr+qcVbGiYXa05dGNTEVvmtmikdmrxrR2Tyc2BOtPAu/S58dJOk870d+MjBmC6hClhJYbQrHj7B6xtv95zz1iqJGV6cQcvwb8/tVH1p4a8RZBXm51RaOeVPSMTqxpGB4iJEdU692nDGb6QmEWThj/jTD16x2y52tl7Qdh0Y2RN3aCAPV4RtfKVAMUq/nrq9lcPM7TcZgpaZ5S1pX7HXF3YuKni7D1Mwr6/8K31nl8woiFFkN0oSmeNPjnKOrS7Vs6vZRGL8huDydZ5JkLj0NcHHZKlEbUQsTOyW18ZVDVnMmRsoHu1PrRwlRpe8tWQs5sQDG8nrNqU4aM9UpUF7niEaHXHX4TjQphruSEISGSigT94Ne2mAGlT3YQ21WDXIA03E=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782572962

%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

