%FILENAME%
haskell-sbv-8.9-41.0-i686.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
8.9-41.0

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

%CSIZE%
4014235

%ISIZE%
25993267

%MD5SUM%
f0a2a88c9b25e0cd44caa6ec0d391258

%SHA256SUM%
fb9b54819e2af9621072dcaac4db32bb3b69604812e9d9532405911cf24fc063

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAl/5mpQACgkQyOj1oK+bp+eoKwgAhYrgsGRoYiloBlRX1FnWUPz4z/xKch/fVz+FHQJE3PN5y26xby8EsNKJLuXj+o5uC5Yfod917eYMcNsaXFenST4WDRijBpcYFIls/+WqKvLXKH56KigT14L78FPZcw6Zg9Xy83jCT18riJkUF0QulfAmZqJ1uqTL+M29rt30AbPmCm0CGaIO0OkWD2p8sheFywRWeXXFcRrLWWHHqgxnDFAmYubVzqzfFJF2zuXGsRyu/FsRfdtIDW+Qezmmv6nwoa3rWZTUmUX90aKSiLjGiP8Jjf2YCJwtN1TTE8cPngLl46d8Vr5vTCqbH1HGk9L+NBEHUnrbwlBSFzt/flX6SA==

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

%LICENSE%
BSD

%ARCH%
i686

%BUILDDATE%
1610193073

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

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

%MAKEDEPENDS%
ghc
haskell-doctest
haskell-glob
hlint
haskell-tasty
haskell-tasty-golden
haskell-tasty-hunit
haskell-tasty-quickcheck

%CHECKDEPENDS%
abc
cvc4
yices
z3

