%FILENAME%
haskell-sbv-10.3-38-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-38

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

%CSIZE%
4846070

%ISIZE%
34419406

%SHA256SUM%
9d6936d351478058c86e236efdcd14855c54c5bba825dee6e01496d2cdadff48

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo7muYACgkQeGxj8zDXy5K/ZQ//RScjHvCTCSW0wcs0Ct4KPvoBpQDtFSjHkt0DFPop8OoYWjCENx9VkhCfmYCpkN95844kDfXR2Ql8UzTuUgJvHROKpaIr0T8Z8mbwnzInLJme5bRN8J7Yfh3DcV5FSMVqfL0a5MY45vNZ1nd2GMHrp6rfKMLQqxNnyEninRg2CbLJT9DgTBRSLH6Lc1ltlGJCcm4otQJ4FOqXlZz1kZ/HqOE9N8FKriu/FsaBWbbibEXpjDzQScjudG6pcDeLU3JDvcBIyH7EX/CjyOWWNhP36Imx/YZpox0BLZtKy9QnGf+MzpbRqGevLkVA77gg1maAZXFh52dQCuiPyNlFHiu2e3D7oPyPC4SSknUw4w6DeyZNlcF00i94oI2V4ScFNzPBwWxGnko1brDoXFEc+0IcrIuC3a3aj2w/5ZV99MMNb30OzGE3CGdrezfcdaqvsAnpIVoRm7/dy7hC8d2V30OX3kYM2+EMrH7cIM7kVqwMLIxt00jbROOHa0Vv60/dn550Vo/8f/3Ndpc+Du2/7507O77D9akhixYxcsu2xKvkkLiWzdt2ut3HYA+JA5w61aEz1a//NX9BZn7PzwTpnTcELO/2EQGfL0ATGGt4tfyGocpyMIil4c2owSUh/v7D/6RJTIp6rEIqRXNMsZlkG8W+O4lkWEAP5lSNK35jyidXcrE=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782290074

%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

