%FILENAME%
haskell-sbv-10.5-7-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.5-7

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

%CSIZE%
4846780

%ISIZE%
34443113

%SHA256SUM%
b1fb417810ced6ae8cf19fb9cc5c4ad3125d65b524514d3a6967a3a7e048cc39

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrF6p8ACgkQeGxj8zDXy5KPUhAAu855PHLBNCg5It7ghKQbHk0APJrJadbJDnTYexr6mEFxq8MiA606qaC+8xJk2o9RNtr3CwwScO2nGjZxP/c5Fi9865aG65bUdKiOtBICazDTOH0Fole0PIVFq4yRD7xZmU3de2dh6eVL1Wa3bPh/hEXrwnQZwpt0CUAUyrqnSBxui8JgbWUQnClLVqNWl/K+T4a1SXMFkf1ceitTdDR+iEK3yYZqBFcXCPLPXIoBfskVqUkBzDyuhAC58kjA1gP/8PcuEIaGBjUjRF3Lh8WQobKThsUcKA1NN+NwDcSmfeEB2+vnieGl92GuM9rVmRiTTSPt+aH6bocDI3VI4hvc0uNhxX+Azh8Y6xRRjZ/d6KZLsazMY03RODZt0MH6INdmEdaeHxMsL6Rso1FzKsA1ayWcz/4hsOBXfVsvj61wIJzfnnqzPV8LNxovWF9lDwDNwcVEDb7hJQ7WqUM8b0qlb0kj1Wp/Gvtd2oHWUmL+StnihwBJVj4VJf+4aIwxoi70DGmj90LSoa6Zvx/xefx3sg0JOjxOsI1xMB2AWl6oinJRRuFpUjO8lPr1wEbCBA9IzeJfWkCsJSerhCUa52PZFtWGKLD+MQCZS3X7MvzrgNpBCJyrLtqfG932OtHRx8l5F1eY0IUnSSpKEiOoKdiAuZax6KMz3ev3U7B179lLgSE=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791352964

%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

