%FILENAME%
haskell-sbv-debug-10.2-3-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.2-3

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4562950

%ISIZE%
25698003

%SHA256SUM%
b154c45d297cdf97a71a86a8b89585d25f230948a889258911405fa84e19209b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiGijIACgkQeGxj8zDXy5J2Ag//cQw7cU3icmUJ9H3zehadsJsSDjP/Rq2bMYh7ERZF8DIXPpFdxkMVZW/0Jq1G3PRSLkbcFKUmDp51nQ6fT0OwShCmVsIu42e6hoSRKggC/Nhheay/jOZYmelj/HlRkbVKLWpErW8fnimc356h75rvx8W0gFJv+hL9DiVcttapMBLlqhSURwso1cuJGG0SL15d4UohfGEuhKB/FdUJdjFOK3C0+sD2Z7hzdmwnBj5aB1mcEfcGqVZq8Lbco914NdtelexuKU4TymL9jDWBnPlH+XjcGcnTvSHPWigtdySAmMfSiPbtNNxNiroGIShsGtbO7xvDbibFfy/h9xAwlSc7jccq+KO0PrJVdflDN3rGQUU34+PHhA7eekaKALqcYhmBsbZQ5Ml/69d6KFUUbKGwsUxt6YYCbccOt5EBWLcP7MjFlXcjNdRAQu7o0zLHfW7CznlbxguQDefpj9Qjm3rE49S9kHRiFLgm4KwFkAh82ZA/BEJzn5RApbmUI4PVyzCXhhptmEZxm2MOv5UfIbc84z1BH7cdWyBhlBXnocBBhsMDkuQfsjdo2yx51PxGhKCqkU02K1rIWorD/o5SIyUtqq7HfELjq6zRYwu2k93OOTCH9gPoOv/i5b7oziDoh6A/WbuhIbjPLBEYtzee9YhERzD2yy6hSxv5b9Q1mVs8p4c=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1753646585

%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

