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

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.2-71

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4219093

%ISIZE%
23792963

%SHA256SUM%
20a4df27dcd2e23a8f325229ec0d4a6cd5cf2647eeec8b0258d108b5bec019db

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwIgEACgkQeGxj8zDXy5LUjg/9Ee8ntGxVzoqoIcpFsNgCmO3sCrR3bYm8zVDHxy8n48ISjokwK5J87d4EWKTYaz2WnBEuFj9KV6UunUV+zzHDqIuX9d+QECZZ6ThZdZq+lFA9dpdoPCliFpZa0QgocfjPHnjiREubcy+h6SIW7Mw6naHnCx89dBXG6KBi4RmL7Z5jUx1Gj+XUlWT393WZG1gr9j6XX8Lm7ugEbF9lDq0wH398eiupXzZav7ao4oN6W1l57/aUNUOJ1U97qhlXwxkY1whHTNx0iJ8uLf45nhqbI/KJQG27QyYbz85fL2lZQ9tFMQwuOI2sUtq5UPQyhZl2SmpBvx0yR2iqe9xeDLD9O6R+CrcAwib7qW78wo0DK9JycQzddnuFQso6YBJZxjR43qErV9GUemw1vlCUows4nlJnl767SNRsBHNfrTxfqgWvpxWPjDdO8yfeE9ZxoYGog9rjg6VugRjqKWmhDrY+eO3O5YAOkuTwTbl0K1LR6FmmzRcOny4UvuTq/cfHf1sqrqQJQG5xifcf5kN8bXymwr3jmG0wY1EvvTsXaS0/EZxlT6LjyJPkbhyysHNo/aveYxAbNsLQOdcPFiGKUvKoUmLa+FEXSTWF2kTNhDDGzFF0bbnex1b3bcF3ZztwONVWM888MmNmd4zGpee6663Y/pfaXUMU/HWTRpOyAmDxtsA=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1760566808

%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

