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

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.3-25

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4833970

%ISIZE%
27902919

%SHA256SUM%
065a70f3e47a0a06dd9bf87ee2ce43f6f12efd292152adb79c79738dda6c22eb

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoS0Y0ACgkQeGxj8zDXy5Irmw//aDtyeTAvvo5Vt1a9m6dL9Ikga+XLS4vVHqbd4gABs4Cm1+N9TGVJpD1lLXcsyPJ3H6dSa7SHB6rKe0dsPHLO4XENxTjuxPzcCiTm7pvJJ6ZKHsF/Q9h+SheasVtYAUqWppqz6oQzl5e4G7J4mY1Y2mhhWXnYFs0ZPmIuOIA12kxGWYTaedX5zARUdeCRqPBPfOPZq+d4d36/3POS27d9mdoy2FkmOxrUJjV0gr3YuSBlnsjgY2OPeFufFsbubVF5s/iVEt3qVT7ITCfK00xo0h96rzQ5HMMo7WhRzbuVhG1IHmH0qvBIjANVmgJxoCRO3u0nzq5cOGtbyBPJcG4mJmk5wPZ3KN3J8gZlzF09Zh0CQHDRjZPyIWSDgCO/Fmrf7c+rozeu2DEcF6iA9RdhnrDOVEY02Es1bobQ/w5XNHWeYtLmRx/6Av7xLZimmTrbFPK25/+7FQXjf50CrgyD7/u4HpntAe5MRoqpYlgJBuIjfpKMz4EgEtUOqrTu0kudexUnnXnVxdryzR9aH3KPjwWk6wfIm2TEpIIjZGkLDWxBW38Bd1AleLzQ8NXD8L1OhwrVmeYi7rcs9/8DPRESAh2NBBaTv0vJGKdHO4G7Epe3UXN3TIZ7Wyues8sLtJxe0y6cwQEkeF2jRPD2GqBF9FFOso3UWfmUq3e5JF6FMvw=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1779616689

%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

