%FILENAME%
haskell-sbv-10.5-10-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.5-10

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

%CSIZE%
4850630

%ISIZE%
34487175

%SHA256SUM%
7ae3d818581942aee4cff8ab6aa51b2c417a904a28eb739bad6162ddd7d55240

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMEb4ACgkQeGxj8zDXy5IFrxAAq5lYjCpubbKXodXKvuRJ4P8l348CHphQZ7HAeAAENs5T9GM4/U1wyAngaVnKT5pm6IdO5iWTWj5Ky/js4Qgl5c5NGsWDsRy07fK9yDTd2AIKoX8Uza/9JMLJcX5rYyk04/naY059oBvGls2IxHDaL7G77Bv5G8+lJTgKxDVN/zNmq+hMnkQWECtl8/zJY+7zv6iZWxCPyGhkuin/UZfdBEVMYoH+Jj1sPG3U/j0AeDq4lLYDUlBHIauCHynZgmwFJzDeo2n0RZVoSulE1DhUVSZawMx//8mL+Wiq1vBkNyie34n+9ZojzwIfY/Ce0WLMAdJ4A9W+BYbctBOT0zrmYIE6W5kTw9RtYsiBhOcUrzMz6Boz19cPTyIUw98RGvYClcB62oHt9+EHsmiC5YmLWndt9Ga12hhxTchdLn+vZYGWyKlYRLl0lCDqSWFTbPMG2RkmVnH6JJOmOhW2cWSaQ1VCTkzi3WAJ1qy1aOwZpuVzwyRpkJqS2GXjf93UxpR5NyO2E5KW7y7C6g/ORyOrTXtkEW8uP/Y7LUaepqG+cxyG3bgClcGUgZ5bt9gWaFQsaJpCYKV9E0wZP4rrtN8mkxIKtGNv/bLcpJLI+HdD/sOEAK3VKs87quWptvSm5fE0sSdZZYyWQ5c9xpHM93DXunM8nM2sltB7Ikv6ciBaDtk=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791757692

%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

