%FILENAME%
haskell-sbv-9.0-47-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
9.0-47

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

%CSIZE%
5465191

%ISIZE%
38486151

%MD5SUM%
41a969b18fbe815fca814ff19859dab6

%SHA256SUM%
8d4f7744b29c32d5dba6240800ed17c3de607ac66af2800558d5a0925db05e2f

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CooACgkQrx0hme8KPM9cLg//TOsMpccBxX67rkVMP/oytaIMARb6+HGfOV+iczQmCthdAfxd3AHgxgi7aaTDpNPHyZ7SpZE/lqf/UBgrzQtMVobFgTVR13MxdlfeCwblzuasR2jDmTY/yFwv8CMgYqzuyzzrD0QTkyt2us1Of/L1Ysu20DP74J4htnRdEqP5xd//5AcBj1Kbl57Q/YKaYXyc34OT7/LycpFujqpOR0LwcG6BiLyRF1KEoA2EcQNIROnhXOG8Afx7Izl01HLuUOiFLfFKhUczVrybQz5/RVSrWalV8P5F86KqlTM5cs5z+ciemAMkb4qMfdLxs91CD/R48zRHjNKuBBoiwH5UPcet19/xiGxPreW0Tk2aRdTudIOY2BPMWrTwTjBQxYxwwy88+HWGZLY5Sa+Dnrz2QpanWDg+jBgtBalipVg0MTMd3McDvN1tGojimKezwArsaz/Zj0/Ozt9VfQIDSqT1M5EAI/Al/sCiuRWRQ5mLovVyQ4Jg6THhmA0kazt+KuOy3N0VxIuoQMMKOB5aDhM9YjDQbqlauyER3rHdZCv62+v2n+SIRPKPKoeT458Zofe3Xwd9yr/pT0TKoa4MvCsw81DHCYJxcmREP6bDJUXojzu22S5bbZeNMgMif6pp9zY78PcAgevmU2WKE7FAXeCPdQb+UHn2jrz8veCs1p26kGdz96Q=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1686582493

%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

