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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
8.12-3

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

%CSIZE%
4402861

%ISIZE%
30793755

%MD5SUM%
d5bd9f1f76789b1eadbfb2fcfc35c678

%SHA256SUM%
c7224592823bb8ee0ecbc8be3c5a7366d6b8bc6fe0261f19e9f84a61e5c90179

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmBcv/IACgkQeGxj8zDXy5KhNRAAwe/aA6RGxDNOzYpaQqeQhzBlQE/G9hxwO8PuWug5UJVgAISq0+nnbxvzHt/Vj0E0WPejum53uevmJjPDh68Cw03b3qhIKg2XqEoc4qoFkQpch8ClTIV9Bqwr7B5gI5E+OAIJm1pY0hS/zuQAFwBp4WMsS7jj2/U3RQAJQnE8KR4NLIWh/O+xyTwVPuvyp6wrzsXNmiHvsY7k5pfc2jEM3109uZKA5wIvN0dcQq/G0ALCO6ZeA3BvtWYOmV1PgoQzxpXTaMEznY4w5ZBOV4NubSwdMS1nfQbe+gjlj2buhytjoilTLkNyJpnG/bnKHvdzIHgAR/uztAlWqodMC9Cv7dvkyd8k3NBEy/a/22cTyFG+8piCrC2lX9uXErTJBlNgHrMhbh8f3ktfjEfwbXVlwm25saI/JNwE8Ngt3M5GDWV4Z6iskzh2pjy3CaSq5Jv5gOpgtMdw3VjMO4JKMrKY2LEprD+uNJ555Vpb/hZ+Enrba1KF/8k/DgqJgIIug8FiNLCWIKIwFWeeIHfDQI9GsIz/QhL91EoLE92SLplcWW81ROqbHzO7nyFfObRClTQ1XFyBhyUPAI3/C96Yzq5swvQmVrp3+F6BO/zNrbC/Ew0ArCQyrXSDn5wR1wAePE5IIE9mYVteNgnUD5zmdrK50dtooUGSzdwe1eLlzSE3q/Y=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1616690643

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-quickcheck
haskell-async
haskell-libbf
haskell-random
haskell-syb
haskell-uniplate

%MAKEDEPENDS%
ghc
haskell-doctest
haskell-glob
hlint
haskell-tasty
haskell-tasty-golden
haskell-tasty-hunit
haskell-tasty-quickcheck

%CHECKDEPENDS%
abc
cvc4
yices
z3

