%FILENAME%
haskell-sbv-10.3-14-riscv64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-14

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

%CSIZE%
5780603

%ISIZE%
38301419

%SHA256SUM%
277427f79767e997d3b412f9dff92514a7ab6ca98e03a3da334e623b5a8320a8

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

%LICENSE%
BSD

%ARCH%
riscv64

%BUILDDATE%
1776539502

%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

