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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.4-12

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

%CSIZE%
4851654

%ISIZE%
34474127

%SHA256SUM%
1d58708568e0ee1162346805f0119d36e80315d68cb02f7c585fa774e9c35828

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9BAMACgkQeGxj8zDXy5KG/BAAr2rOr5YqA1H5sYcM0/WBLShHOQvZr3kzZWmbd6WaN1WSzs1YqkCh03l+0bdXiE0Qvi15Bfnd1uoPQVeDKQiXsgB3BI0QUTZ68X0BpMK/Qd9dIi6MVJ9Ie/onYMVXciG9DHmYD0pGUXG0HJUZO/VTmRCYzuz8nCd9NevnQUBIq97LlIPeLJuhxk/aC8uD+GqBI8AmO6IH+uDIitD9hPjbw5/jEOcUfmO7ZTVc2XP2sqkWGnkvTUJCJfiGiJ8l9hRFF2o7BJ/NtO5MMat/gjUoOSFByO6luGMN4v/w2bQFlI5QTnhHzrDJdPu/cJO1R3c5GtV/BL6VxozozCqP3RR5fc6Hrq70xiCZZu8pKFe/SHr2UObxd3lslMqqOjtJaLY6sO3/Kip7NuI+6wfmfLPgoOFHuq9wcKT0xMp9+4HS+Uu00wfMc8DnR2TFf/J0IRJdw+LxGD8HDQxtNNrDwOLy8q5CtQfc1CEJ5BiTvCJPqCA3jyY1AAbU6Uolcn4wIkpGFWPKHhEAJZa0dEKyMWwkTbWCRkPagAnh5QXfxK3yXU16z6MD6+0FVXCdTcQE/PSG+kSIV3CWBPEK+IUxEFEdSle73VnlKw2waP/G0eaTR6jzpIc1S10Mia+je7GGJsknTcSbY6ksbkfpIZRyx8N5d54pnA1AlcAOYsiIrLLUTDA=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790771574

%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

