%FILENAME%
haskell-sbv-debug-10.2-3-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.2-3

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4562950

%ISIZE%
25698003

%SHA256SUM%
b154c45d297cdf97a71a86a8b89585d25f230948a889258911405fa84e19209b

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkkUACgkQrx0hme8KPM/dyg//Ydj1frGoCV5XjTEuwQm9JG1gQYzL3XclUxc8kerFg5nVzAlodWWjN/FujZMDzg/nXw9wU2df9lUkiT/Os50cQwjq2EnN3vKqx6Vn/XTnWhwso06+Y+J1QmT5Vu0wWtUrFUItryk9qMRAeRxR3vbX/dMPFVnwX8Wj1uLUBsQH9ape4AiYSTw6r/vlWLAIcBo2F8aoc0ID4TuyaTCrW3lXKNrBrY+zpaHykheqDe9+mGicKX2XlqIyO4yz1cSizODjtixo3vX3CR6aUnEQD/+zHBst+QAcBTT0cNj1ygCpQpPhAYVxyy7HtLNhRoMAcWwLp7NrRDLEtgCmI7s6A5xkiZn4sNjb56BO7k6lsG/pSphCvRly55puxjlllwnR3+KwacbwdOvqd8H/+dlrunGvWz5RwbjtUPhRrwcjXqlRpih3BujW/ZuGrP/x+GbSggqQR520ajMwb3a6h/rgETaONxIgufKwmhWHmP2y13JRFaKTjo3maINunSGEASDKjIWIkgb7Le5haqpq04pgWb/hBrU1Bqnd4Q1fHFkr8OlSFk9xUVmrcwPbdxeySUokXgBzj/syA9fjzqsqgIwtGk4oNn/kCBx9+w//RuhJzkx3XD/LLCHGcQlKodzmxHrmNmgQKZ+1/5Sd64TCl385bM8kT7buHMMuHu86DtbTWmIw2CE=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1753646585

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

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

%CHECKDEPENDS%
abc
cvc4
yices
z3

