%FILENAME%
haskell-sbv-debug-10.3-24-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.3-24

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4840431

%ISIZE%
27902863

%SHA256SUM%
148a5cc6c16bed995ab7830ed4f0efd9f0128ffc4fcc0fae2122227cd35dce8e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoHdqcACgkQeGxj8zDXy5IcCQ//QdJA79M/UOGoPGkcoQl+Io/Hi3FTvMqnTgylhKTQ9qME0Sb2lnjIV+3SeAKx+pwrPNcryE+ELgNlIlU5vzq3GHzIMTAifXTOKtZ6U77m38kk6ir0VhLBC0UjohoTz5Z3+ZB8M3ZK4LhG7Aw3UaOtTgbeGxEJU/D3Xtush8yi0hd61RYSfcIYvK6HOSARE4TgRgylIkpigT4fX6bxVLEdGpsJkARfm5N91JQnNUekRrFBFCFhVIyOlA/ch8YcZVV4h0rGZtuYIJCAnp4tUBEcU8N2RXlzu5hGKwafNkTG9vM4QS3pupJcEiRBzy1ka2me4DYvtUbE9uZBJh4KuIFQS2+PcTBzMpokw5vj68WVgxGLn2GP6aEsUH0uoXcB2rEOvXj0Mc/tqsLG4yIMIuMXrmizIHTzVZQD/d6hbVZ5NyltJAtJwydenELzAPKLe4yOyWUH9wBKf5by654uyG0xR3q/ykpP4ywt491q2HyyHdHaeEP8RzNk1Iisj68Q3Wun+wJMqj6L1YiR2nVWuqJ1IFViLKuOVt15uUEW48h9EHQw6mTK43UnR87Pn8jVLzXqT7dx99OAnNZFc3avpVHKwPBn5t0aN7ObQIgBxhI+bv8p2t4SmDL3wHczTprVE5to53SgZ679Pw9p9cg/36NYOj+CYhcbSBrmpcPQjXKbxQc=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1778872456

%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

