%FILENAME%
haskell-sbv-10.6-1-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.6-1

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

%CSIZE%
4851192

%ISIZE%
34459153

%SHA256SUM%
25b72ebd00a484a806bd1b41560542d448fbd524834dfa2d3dc8d5c5d3b3f79e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrQmpEACgkQeGxj8zDXy5Kqig//Ww39HDx2rVkjj49egQIZ/RUXTp0l1+enR8SScn2lLiV3+3W9YDZKPhGaP2CO/XJrBEMVL68SmYromCOksgaMe2MmCrSqZH3M02MtGifDCVysKeMFvuUZgWVf3QSMoCWkg8Bxx/x5sN7pZ79os9E/I/xZtE47dJIp7sD1KpUpc/Njm+8ASxeJkSllUZIYlsA9Th+f0wCNL9yHcjaQdtlZgbaVsODc5CzE+JYdHPN5MeivJaM2uW4Ktd5ZxVbO8zGPwSbeOksl/nAeNcYv0TcvdaQJ7RbHkTrgr6z61iC3UGJG6wNViTqkPt3nspD7F79ySLCFz3q4PfFjv77OVgVJ0ZBU2cqtJBaCYBVdCC/ge2NyGOIYhPoMYOB1/zy3IegkSDG+wSFoF77Ih1LqrpAToUipZKjsy8UeHEkPyFN0Tf8k8hInfj63/9inCeMZaj3Y3xmD5Z+DJAs2+yhVCvyDGWK4qtg5F8zD/rfFuy4J1EVSofzckIMSxdeWd+t91t10QOCiZ751HJfvf80HkJ+vI6q85/vP29YJ+G5LoNJAoh3U1KVp+VVVBajrP3Ra2LJa/lvDXcWGSQ6u0Z+D9GMPcKjejB+DnQNy+EbvEPBjTBG7mK0NEOTeq335fz73WNd+onzJ2NZKArXUGhLBJbOUYTkiZGopZYjhTu+f6lbJNbI=

%URL%
https://github.com/LeventErkok/sbv

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792055123

%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

