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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
9.1-42

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

%CSIZE%
4207042

%ISIZE%
30115123

%MD5SUM%
986838d7d135741183df0eb1741d184a

%SHA256SUM%
1981fe2ac83110ce046d205cabf8914debde481b998cb77564dc84385e0f51eb

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCcwkUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwa4PQ/+IZ1kRNAxOsgil6v9laBmSoYTH8I2GNIR3cHpuW9STtK9V5NiKdHmKASSdIWLWR5VLDQ0X7Wrq6Qm4ySM1m4Ylb//DPlk2EBMrZt6UjaXzBQ5+iKQmnFR4Z9Hb02PZo8yB/CoGym/clirA8ErTnjhcV7iQLaQhuTJ4wgKN4YutDwYRDW3qSWAEjNr5JxSQ8yuhjSiSd4KAbSHj8/Md1iijjaM/0Z+t2U4Stn3jGrt4Buh4Ymr12WdGCsvu8RRes+CITDFLJj1HnAQAhd85FiT5aOZLtGz/B1r8aEDY0R5xkbbmipbIxRya+s4Fx75bN9vrHTxsi4E6z7YjZr8fW46ajBKa8+H5YpmpSkgv/MYv2i7feTftaCd8umxn6sbSJTEf9lsBAIZGmMqkU6RQxDzAwUY/7I8vRBc0TUiygaoe3qXexTXP1XOFysTtsQZBwKkmJLah8x+LRv8fZks36JA2H99hxOiLP4/i8nttVYpEPOpuiJ6cWZN/0iqXYrgAYiOWb7ZzFjdryF0/X/A2wuuupSaet/MWb4q/v3phY/Lmk0TV3H1UeJxUSsXMzGa2ayUyW6lg/1GSfBnv0ugae2mTMilCv4Xf2pdrHQ4sLDa4IPQO4IYad+e/TeJti4OWku5OV6CqxV7UQUIJBkO19eBu+cdTn1eMCg/V4DfSaXZT9g=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1715407404

%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

