%FILENAME%
haskell-sbv-debug-10.4-2-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.4-2

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4834763

%ISIZE%
27915003

%SHA256SUM%
4b62939f708ccf705bd65c4f3b6cbfd86d8e70e968e8f0f3062d43d828e3d616

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpGrAMACgkQeGxj8zDXy5Ia6A/+N9vjNA4G+Z7nsMn8eQYI9t03a8R7N80A8i7votnd2Sxdmb3zngSNOP39x4cxTFPlcoahPgwlax4OI+OV5/pvtybovy1WD9fj/aa3LZQf2oB0gDddLSFv0geglL9kxrinblXDlIR+ROmHwVPtQmqBpYm+Q20012peEJV93EPfdeievWVQaQOpV+cfT64pMTb0vU+acjhpDz7YJkT9H9G1RkgcpMOS0oifI2DEunmD5uGxPHOCumt/S/4zvbY++FEhsVCVnwLwHTn9zyoJApTATgWzIOTTkY3ZyCO4XXDg5L5BtJzZLhtSImfTj1FFqaXoOrj+Ecb0qNgO2HV5RnbZF4lvUTy7diC8N6itzAaEgyfAIXAs/6c/kMTeaunw8kK7dP02gtpXeDCDu3mw7onHyXnPCdebvRa/ZWJlP83cwQu7CVoAvuv2WJhi6Dvs6Ubybdeufj7RcpTWIDIZ/jPWNfbwA1jvURtYDyApv3HzFWmycBJDyGX/lDgsYj/GfXiQBEZmnoPv0oCBziR75qAzwKK4j7rACHYWzqvfav26PjhrND+NUpyh+p4y7KeiAcCPklaPc/MvYyhsbRRFpItRINuNw8qI6Z6KpwXpFv51duUnRB8zTjIAgzDi3TisAixQXhnipRZITIQlbZRIr+6ubBZTs/C+w8y6lfkVgeBu8HA=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1783015603

%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

