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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-35

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

%CSIZE%
4854430

%ISIZE%
34460912

%SHA256SUM%
0fec6b0dcbf279e47e83b1687c9ce44c52871c2a810704792ee13f8c519c57b5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo48P0ACgkQeGxj8zDXy5KmUhAAr4WIDYxrxmVo7kryOkZC5XZXABgX0DTDEQbASq4qaQo4aKhnKB+yO0DTVrFfzChxcHRv8sGJxF5y//5O8XTXvXOdjv7F7+Q7+rWSYayG/5JSIQ0uvcywIZYQo5hY6UqdQ/ERvWlJ1eg/aVlM2p6r7ZuVyLligov/yCOX0BD+donCeQPsdZHCOrGmwSceECxtbG9uRqSIFbJj7p3E0U2SF6Y3XwR7/mVmUw/Ct894ezSBxPEBMHKXNVXwq+PY7EwC9DHDSlzKLuNnI/JoP4W2ZSxzXdvkt+2zap3vqaaegdfFtLwVuxwA8oEdXLfbW/j5kXMYAr7ZhUI4Al00B/RLk65CSLtoHS/ujqPQnIezlZ8vpB8NZJgbQAGPlCwOKUUDHK6ib7MzkqilDmwGAo/krqVlurHBJ2BXbUAdBzd7QPy35GDw1YCwKY16u3NYRMV8lArStsfRSyqvB3jkm7HYLf6A9PWl4m1Vfbmrt2MN2zRxpInx1UIqNvfMF1ao+Z0Mmeez5uZNG0xOjIpg7YNoPfUsr6IyU3hJY4eorOQvtHb7ObdTaKdzbvB2rOmE54wfgp6QU7m2ZrjJJPticuw0ZqDW9YVygive/ymL9gDzt9Kl6tcBf7ehJywgo4riOXlX9ou3kOBwNvrkvjI8YFFL4ag43IyrtUKmezQ+XxDyAlk=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782115599

%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

