%FILENAME%
haskell-what4-debug-1.5.1-32-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.5.1-32

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
2707652

%ISIZE%
14686996

%SHA256SUM%
56fd2e2b271e84c1dce45ca01bd2a27576e51b136c858f02a4a5baefefb0307f

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOwcACgkQrx0hme8KPM/GPBAAoEovc7i8l/Lqpz7evyalk6p50mm9WM7wQg5sXURGzE6IgqlaEj/AIB+KG6PsZ7Z2HMwHv8ouveiuFQwGs+e/ZxV8IwKUnP5GxcsWhVUVY1oRUpiMUBUHExdYyRaDSnF8RAYnm49ea8+fpVl+KBQrJQy6vL9HRXVgJ286BXF/SFXcHbpKQ+mDVmL3TJNXmmqv2PJcRmjFoSGVkJWgI1ysnPBLhyCGTulk3dKGEn8GjMzM+nYt176feMyn/fpxt+7nAE0j0iiTX/zXif+0aEbsdVbUFZ2sZUVcXgGhWl9ZdiSqt2qDwlaoBJXt2ml1rFw78LBQttbF1AwpYFENbuSLduOawPwRZI/k4hDLPlcqZnGJmw4lyxrhMdvEVpPuBKp47Q94fWaV6/GWrGPJ6GOMrMG5Lil/aBluua+9oeMYXhS2NHXqPX5ZdWtJ/41K0kk5hPzzf1SLSz8oc6VVHBIyN8lTiTCNfaXcJzQOGvCWXeqMNXnfh1ppi833kdmSKC2PMsrY5lm6VhkPYphMkLzM/zuh2fEDr69ehq5OdaNsE4wovFyxPo3wY3a0JOuE/OXG4pujsuu7c6nleFNKGWInYn/a4Z7Wf+z65cfv8gTqwxzd03D0DZp9jNkthWXoC+wkGV5CjsMxyTNydhYsirRv0FYCMYf+gTHa693KEKGqesE=

%URL%
https://github.com/GaloisInc/what4

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1735933152

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

%MAKEDEPENDS%
ghc
uusi
haskell-contravariant
haskell-hedgehog
haskell-lumberjack
haskell-quickcheck
haskell-tasty
haskell-tasty-checklist
haskell-tasty-expected-failure
haskell-tasty-hedgehog
haskell-tasty-hunit
haskell-tasty-quickcheck
haskell-tasty-sugar

%CHECKDEPENDS%
cvc4
yices
z3

