%FILENAME%
haskell-sbv-10.3-26-loong64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-26

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

%CSIZE%
6855985

%ISIZE%
50492643

%SHA256SUM%
d24d3d27a3b9bcf1ddb88dbfb932f0e952fc365c17278b4a67cd56ef96e35516

%PGPSIG%
iHUEABYKAB0WIQSmwC++cwzUWFm5RuFcdK4XC9oUMwUCaiVyLQAKCRBcdK4XC9oUM3lNAQCS5+8hy+WJhlMY0Po8UnzHTP1nbxkyj5SJUjNJUGFkIwEA0uAEVBw9luo4t2kpvSwCr+THhOP2tmFP3TbvfthtnQE=

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

%LICENSE%
BSD

%ARCH%
loong64

%BUILDDATE%
1780836919

%PACKAGER%
LCPU <lcpu@pku.edu.cn>

%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
yices
z3

