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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
9.1-78

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

%CSIZE%
4442772

%ISIZE%
31721651

%MD5SUM%
2859fd6764b0ac31dbea5e73353e4197

%SHA256SUM%
4ee6eb13e6c8ec8258cea683a5d8ecd0f458b3f00b50225b33d496a0a1b0e58e

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfXOuYACgkQeGxj8zDXy5ILHhAAgVge+0QBMoLAmR63DDfWk9ueyj2IDHDlXlw8kiOXLbSAm8Nzk32KwOocAXFtndkz4sQz3makX9BqHZ1YQQoPIHcALF4o1Z3ubjq7IY8mFHWZCl+RrHH9WT7Fupd3DxiHFAptNKEOIv+l2+UoNjQhGGwhR2Bh3X17RUOTcLMff7vOb4FTe6aQtMzqMhElR8Z15reKqJHaURUa/3YOl0PPXch9cpKZssYqletqqhm5rpiK7OiATt/rPAxnM/HK1vsu1Dj5oJFBz8mbmzbl3gM8sNFSroOXTCMLW+07S78dYvInlxRMeZOslda4MNNl04th8tcZqU4xEleRZjNab9FnKzBY3SozKSDtj5q/EZJYiifKmGVs0NfX5oIhLgBsMJmRhKe3vOx7woFBjLvifszyprw2Er1i0jtr5zM+AVKoJ0eyWulkNLcjQX84bm+pL2hxTrpbui97t3KF5LOSo0JX1nZdA7UEl4P5tVlEVnHWZGh0uiyOot5LS0aoNs2pvK2Oi11DoPHs8OFhSZr9Rh+LWMa4yYGssD/vQjLMLYZbO7k2oqu8df9Kh66Nlcp06aM266LjHS6QaZ8wJwztjOMs2vP7C/u3ww4dwtt8R0KRGckHGbC2NKw6xf34TUKP3mVKBC0F8hZvOPLHbdqVG8MAD1rPKIhyNyyvPoEGqjmZsSQ=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1742155015

%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

