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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.5-3

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

%CSIZE%
4851147

%ISIZE%
34529285

%MD5SUM%
b252a0604626f630b04bc3e997d0a96e

%SHA256SUM%
194a20ce4f32f93954554f0e65048bd2d14602534a0390771b6e1fde4b943fd2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrBjI0ACgkQeGxj8zDXy5IWrRAAtcG8L7uM4FXmnAaYKumi9vliXdQrh7LtGAP/rE5pICPhZ9oCrHdT/k6PoEM7Er5PWjViA1ad2LW+Qvzm1jQUJQw5/EMN2SjZY3i9cEI5lIHXRRBBIRC21BUGzKK6t26ydK99wxT5yCOS6f90H1Ak7WZUBe6/tGnyghlv3iSGcwlX+RSwuu/mGrWWYbqEOWe7TyysZTYy2ho2RgJJceUOuaMMIPgfdw1uTbM4U9DM2i0NrDvaggxH5NxDjvvNCvMp1evlcO5+P3Xyq6SAAkiztbksxtHXHpF1W6GVhTGbNjntI1NVA2suLWjsmLQV0msvdhOPZnIeMW9Cx8W47MLCK0dW87TLxu7DbBxv1bmQT6yPEFkPK5V6IPPXaRdLYd0XIqfE3TKe+M6htYK0yuCtHljhRrFvj1Bxv8ETexlr6KCxIXkW1m3gQl2Fg5X8hJbotW5qZIFRa3BWQWCrI3wkdT4yVFFfLHe1o2xbNDoqTTLLv8h0usDa3Nr42VJfHR8Zau55rWqtCj+GLVZOxCk2N137hNaf5KnyFXNW+rK4NYYueuwTAeNDn2KEBx6358bP8VXnvt6pi8sck+Ge6v3vmslOOrQ2vxOkYBmpygsUGk36oPk1N0AOaU5iNyK9NyUDwog/aDe+vMn/ED2x0tIMrJUFCykqSHALNf0Ifk2Gvpw=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791067845

%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

