%FILENAME%
haskell-sbv-debug-9.1-64-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
9.1-64

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4277710

%ISIZE%
24164571

%SHA256SUM%
7e2cc7bd800ce1836bd5d03324ff8e4b4880782a1a1ec4f4015f0850f1ead318

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4UbgACgkQeGxj8zDXy5IvpBAArLKcbKjsYYm6BicdwQpjFmGFxaUzCv7IDhC7sp3m91Tfcc71pm6UZq1ws1s2X9FBE/EuGsqZLn4PQYFl0YdZN9ttWmYnX2G7FV1g9uCdyWU/F2V4q+hqQsAvAuvzNvrPSW0/LUVDryTVqGqR/dR+6tYR0p20Fcubmgn0wa3qvXXpSOxQpxBAGfubSBmotpY2saGI1t9SFhiVu45U0I8IxjvHTE0IKLpKFLxPTMtS6cXwA7mMTj9znqOXYh/U+1NXCsZ299bZhmPq/G0aX3udljzxic9B0Ms2+JC0VVlqUneh+mIy1oKVfshIBuZdvxt8k4FLJ7xwT8b33XwnhzThhA8B4Kj0aW5Qau0rgd2aNQBh1WsyFs9+VDHsVrTR632MoeWt3Qz1/q9n/JXgdh8K0N/0IE+ddR5PDwKiAcG6aQWUqmdEEsAU33o9gklY0VyHC5Esk1uQhE/TwowQAUxpor6Ck5NfrrnZ02dhUkukQ1juJGiqNuOfURqHRTezhjGIXvvwoXEP8+RzBKDAc9XOUTUsFfWZLSKADbjz0//iP+yRA/NkRwcffnIOVrJLyfYyI0slgnAMJGyLwf7O/2LmBapYgbqP8rWaz+fU4CnXQFJON8FuNZsE/9fXDgxNVVa+UVv4Gi/g0pJuxOMiQMRsCQeKWRdOxbhwY7IsMMjGaZo=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1735934004

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%MAKEDEPENDS%
ghc
expac
hlint
haskell-tasty
haskell-tasty-golden
haskell-tasty-hunit
haskell-tasty-quickcheck

%CHECKDEPENDS%
abc
cvc4
yices
z3

