%FILENAME%
haskell-sbv-10.4-2-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.4-2

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

%CSIZE%
4850333

%ISIZE%
34433771

%SHA256SUM%
eb00a5d2b1038e8a20ed05ed31b9006f8dfa637cc61723eabb57e719e24787e6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpGrAIACgkQeGxj8zDXy5LcKxAAoo0gwoZBHb1Qwsm6mCajneMDS8uwzwGq9ris+NiOxzuAnFGDIA+Ulx+VWxeuSqwwZW1VAivuGIg9gtTtwVOIEifJD70cpNg9f4CeS+mCN7vI5XCP8NN5y8scDvbAxnkWQ7nOUrW8mXKSQ3NqrR9PexW0vq2ivaJrhJS5IwI2X7bHgoA0a4rcswpE4zPQs19ae81KBmpojqpX6H9dOBJG+UkoFBrnEfqDQPgeYCM8uZlbKBoewD/58ksCqBKVjRhtYyvbAC4GaLUdw3IWYemJGEFeV+i81lFDNuKZB4UC4RP+k/IcCBO0QIExaNi+gYf20sRu1WnNXZuSUyC2E3MiZVHNuJp2texEY8pc04YyL0tZ6XB99fzPXPv55RKpVIMPnmrXyEUUMh4xm/XBUHTi40pTEwke1mzIu90bevpF7Iv8YP/S1D0bAIY6vPaOss3NTlH29S58vmjWyVM/2cKxT+kJt8EiUpHNBZxk4X1lRSj0nonAsXE5NqSOyhuVzVWB6G58n/T8TUqeqBOtiWrSDxQhDpijlwtgkqfl803kOFQ6dN2xYbCJkn0kv+/dF1djjfWMQ4YTy2JQRUjml+qjeoZUtqaDbPpI5HznAfycJ0NdwT8ghkv72wRsXToUihgODaQNDMo128kXY7njQQVW58cgVr993YSEds//rfvV5rw=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1783015603

%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

