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

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
9.0-47

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4489

%ISIZE%
2848

%MD5SUM%
c46a3ebf19eb7768e52068fc52e2042e

%SHA256SUM%
2ce31bbd16ea6c42621629de2f2d6ea369e4f328c70414cdd815bd66f49c7ea0

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3DIkACgkQrx0hme8KPM/WBw/+N+ohB9GvRnbmJ96/UdxI8ZsolFZGHNXuwhm3DZjIrdF36IY6pLVBB83ARAcdAACySjUH/ihzgd2MbAamxbSj7pDRsA82S+KYqeNYnsw1M8486IHfQkNdLLtyDqMMg5QvCxJWe8b4Wmn67O4ydqLtLMbqlCbn9tQGgf0bq+HnFWSDrz0WKupagjBhRAw/iBbR4FiFVodQMzCYtWEWqzlfiDKDKaJUqvfuTvN+onxSo0o6AiqUyBbPahye8fWT9QIhZcGw10tk+xM+0fvEMbkKAxWbjUonSlYZlFhZJh/qtSmf+9vD/8TqQmAhfjHrfYnCVswXDYl5KMoM33kEJSaEsgQljjpR/qebELNvbDZPD1CfF75sa+3wZ+9ou2J9wmJGS4asVsI9QjMXrpd/prNSElufjQBRhqsr7yPKwIO4TbEoqLtOjDTgO9bDgqr3UVxnmSS9Qy6tQNwcM+lLH/aSqHRnNU8H9pkgPAhsiCsViUmrx5oSXhFXI1AsTOGelvE8hrwCefdn1p/P93gSqYV0cnh6Is8cXsEk11z3glFoTyBKsQF3s3TLowG+xineFn0uvA8PFNL4VmKuSJzLS7A3kCcuIuDz7lpP4nfAJXhFQQO5hWvQMVKNKFzS68RV/Z/pamAEw50TaSDRmIJDV8Z6P1Mr7i+nukNflEj6rTAApaI=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1686582493

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

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

%CHECKDEPENDS%
abc
cvc4
yices
z3

