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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-18

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

%CSIZE%
4852769

%ISIZE%
34420321

%MD5SUM%
3501abf827604ca6d9431fef69785ac6

%SHA256SUM%
51f4a3162e197c57ebc596a30be9dba7cdf2f93b6b0465d1059a8251cb193bef

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnyGCcACgkQeGxj8zDXy5Lq+hAAm6+YzmOyArDWy5amT9dmrXuo9QhHdy+cTLPRz0gDIimfRkEla7sRLGbFTFcaWthNJ3sWA2tKn+ien7+jHLpD8HWqHlI/id6WiyVehjN5eHA/1svhhBZTvZ6/+il02wiKUe9FRzPVBBAv6qxfPd7HwWkez5oD6TMEASAxdL8W/A52Z+BDuonP8+SoZO980qzL2/aX0Kq1uWrpZUIC9+sABIYkKvkI286FLuyCanflABNJYKfN9Pl8wVY+KQ44C1m2RWDd4bNG4YswSsv87aq9IXsO6Oowy58LJdOLgsGI/PRhdPEC5RXncdA0v559CZftJBP1z9qDBly4FG5sucZbLsutt3M2pFbOg0SA+2jPCJig7zAt8z5PpGOB+cxIx9D+t42Y1VhFGyjBqx31rNwnmMxDFk7zYoTsIUZOtrh2nQ1W+ljMJ2imJj30NRDILNQ+76XiRBnOvZG2NhDrJmcvFgsBWA6/74cLqF8uNTSp9bd7+c0MKYyugc0jDZbpgNy9WjCXy45hl+X4UINmV4723+r/roOo4oCZowmO2V6WnxsSSznz+x5TtXt6ynMF0JNeYYbjqTd6iS+i/ahhMQkJ7E4WZB/dS0us3fFiatKLJ9WuoPbZTLFIynIoxdeFerQBS4H6JdHeap0hi88Pu6fa85GSVDZxY20IgUDDkYhrpQo=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1777472570

%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

