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

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.3-1

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4268089

%ISIZE%
24656151

%SHA256SUM%
5f29b98d4697421a1093ff417eb45f68d84c2aed3d57ecef7a94ddfcd25a4e53

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAml7S/UACgkQeGxj8zDXy5KeLw//RuIDSNGDELXKVJ+fWvnKY88GZysi3Jkt+AOQh8ZIzlpIcyKU/SjEuE9WnE76NS8ZDzR4o+eFSGO35yXN1QwREGQt5zTHamvbfWD+RTvJ337tqydpStatmnW3YxawrOMNrC+1VC1pxYTOd3R9f3JljXiOBBhEcdGX3cdT+Aqs1MSZhAKiihMcnefDjh608AkwlB7TINjO1IKYef+sEhUNFq58SKi9/xx/xJXKEPQMjPhk/16gjjFlRcnJW7KI5miVzgQ/PxUWsemM0uEFv3iz2qVQWokc5GsJRbyaK98KDP0P5c297S43S7fNk/9tf8mf2Uvzdx+oEbzcJ0tXZzpuSL6uF0PqY0taY+8gk6e8Ps8gq+omXV1NhCxd/8zxzs7O0JpiAgF4y2yMbTTMjuyjpzl1yJq1F0NlJGuCRKHU9WkEWVkGr+koEdEiSmPO9ygCUJRh6qt1CIOZB+yfAg4VWol6B8vzEloHuwb3L8tR7g1dfddderjTsRe2h9YdzSG8JpXyZ1XETjJFuP0BRgfz2eqNzqAOOWyeRWM1+ydThIOt6KprmSqIY4IglgahdggbDpyldPIOXEs69Wqur9uaz/27B9zvonv9mSQ8aMm5s698/PK4AQNN7o/ca5MQM+4oipjseCGa7zeZzj944FngMdTyDAmX/83cNL9U5MOtktc=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1769685624

%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

