%FILENAME%
haskell-sbv-debug-10.7-1-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.7-1

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4838199

%ISIZE%
27943178

%SHA256SUM%
3a6b294c36f5017d2cb7129032acee6c353dff96f0e9eb81d6e8802b93cad7c5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrlvlIACgkQeGxj8zDXy5IJvA//UXW77RAYQmiV1KaWMRSZwrC7f75foqbiZD9ziFPSVl7MUaD3sM3EORhRIoVtiT/17bC3T3drC5AN/gWHxe0giQnIuWxHhVxiGDontEF4mEB6mDZSdXqLA6+faWqc0FlNPVpsOg6QqxClkVhwG7W0trOyiSgUHSDPV4rwDqh5NKpG/w8X9jilcgUTaP90ASqF5NAm/KCcCzfs8ZRy3apIjImeelwEsbedoO8K7zjwbOcb3Mb7z/VphC/Oiugp7cSVla0F0YI6XR+7CPz68ajuxWm9BpMoq5KqsaM+OSrmejmDHLPgf27IVI+VODNtcx1xk1Cd0BAl5No2cVVaQ1xbLIXXw36D2lt56qetNFOK1qG7gnelMEIbb0LcI9d66DDPCtKhpgZDgxnxSwrUkELlPNp97aL0QE8WudWD1e9L5Oyx8p9498GtsFU7sf73mq5ksfzjqDv3cf4Znmy5qVHlmBAyAjHplbcwjENk3axWdv9zqRhhO7j6CxGvTshLoow1CmfjiVsJ/9XpgO4ygRJ+8cae8yP3F18AOJjFNTc0CXu6+Ms+zrBkuFKnYoTjh9U7UWvVmY62FUPpxvMwGpD/8JSpDxiS3tO//3QY6W0Dhz3jm89J8KKOoL5Jh0JTvukPtwxkSu0nor5/Gf6joWYOe0nFzEPifeSPtTSjHCgBUo0=

%URL%
https://github.com/LeventErkok/sbv

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1793440235

%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

