%FILENAME%
haskell-sbv-debug-9.1-64-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
9.1-64

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4277710

%ISIZE%
24164571

%SHA256SUM%
7e2cc7bd800ce1836bd5d03324ff8e4b4880782a1a1ec4f4015f0850f1ead318

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOwYACgkQrx0hme8KPM+Zew/8C5P0Sf+fSkNu23F2D8ns0Xh0uKOpKF4kmWEb3rx10Fw5rMwyBHwbyf5lbAvLN6BU1091BafQqbu5BlrfwYSf+xy8Y3Eoq2lkKf0CTD5KYWqW/OYch9mH63FLHfpAnk3fs8Euft6NH6pM7vgakMiS3b2b/xAn6SzJitfN0w4583kleKrCiZl+8NXI/yNwaB9k15vRoOtaVrQb1qPlViFffDLJu7gMFPsg+ldHnMVifP4MkBzYQm/pPwMDx8QCO6Lg9B0mmDKPzAGHvHUq0nVtt1a/9BNIe+fwFjLuesEMXzFB/d5WmQ08XcTsTAKArU/HuEiL1FsUEPJFfYlWMfOgre5rOLdKY7kPfx6CAfX8yIc31S3aEoHcswVEovi7I3/l72ekaAoltdlI7qtsfEAjMXgjx7+bfWt+v4PuHxZKR4bMpDbgmG6FnLKtg/RSawesSqXU6yiDnvQ9HBhEzBQeS2gMIny12pWVRS3nFgagbpDNH5W+jHfBdC+x3Qx3ir+ySKjps7q/DZUz9luE/I/09Bjr6cTnWQqChA7ZVD2CE7xP5F2KhbFF+JYYPSvxN1Z7jX/56SQ733PsT8JOcp8lCalIbYN1YxMVXJU+FUhH4gxT34qZQ/PHE+X4TchT9g+g1WzqRuwHNq66hgg7lSFONCWPRnOYWCUNv4IdQEOu31c=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1735934004

%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

