%FILENAME%
haskell-sbv-9.1-31-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
9.1-31

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

%CSIZE%
5487698

%ISIZE%
38682457

%MD5SUM%
3fa54b5060510ee1af45adb55122a278

%SHA256SUM%
8af2459411770490357af58fedca62aa2c0432ef36eafea7a42ca63de0b41e10

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEJ8ACgkQrx0hme8KPM94Yg/9FnlUh77bl4CVdIaq1uUdcrYXlIN1Xxfui83sz4DJlNyufqS+PZKBsDI38wCFIlkCvuodaUJdQc93IXnAG7WTrrW4t5Y41nYZ+BSXRSzyE4TRA2tor6wHRADDezwoRhwjXMz9XURRJiNU7qyKO8a4XRLxeearQWhBwcB/Ds9sw3eK5DhkxJgE9AuhpGshAwKAvBdGTJ15lc7S8IraSb+CYoyxQbgOPFtqiAX0q5HPybnY4ENe2NwOHMwBeyvv7C5pzqESxtUWSERM7jaAJXgwzQAlKPpOAhYs45RpgrtRz7rbNUr15Sdc0IREuDehYCLaDEzR81ySPIbBuF6XSIRVa2mvH/QIm7fHX8yeCY+2FmQFQSKuX9vmkDfNmlnEaYqd0LXAPx4PyF5q2cBLaqv4hXgoH0HGKmxHIL9M1FBo0hDvv7V43u5gf/hxiih39D9gmZqBFltHm4jx6YopP3UcfaclmxDDfj7z3akcxYJ6ZYIssRokdcP1s5RQxzjZdSLwbI8ghb1ij6veFXPVuROonTceqxinY4+7lZp3HurmS595u6vf9wYpfP95gF0NnD3R5IFONlRkXKvwQ4yf1p9yGIL/Z5KTEc3XpRz65JNE1QT+IcKzbb5Zf8TyEkEGFGCCSSPl1i4ifpzzFnS1mNzuRUuB9Lkv75F/R7wHNAgmrhE=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1707864240

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

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

%MAKEDEPENDS%
ghc
expac
hlint
haskell-tasty
haskell-tasty-golden
haskell-tasty-hunit
haskell-tasty-quickcheck

%CHECKDEPENDS%
abc
cvc4
yices
z3

