%FILENAME%
haskell-what4-debug-1.6.3-7-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.3-7

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3026092

%ISIZE%
16362151

%SHA256SUM%
fb1262feef19ed00919cef3cf042b0a958af7a320c6b898ec96d449d2d0fa970

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMpLIACgkQeGxj8zDXy5JOxw/+NCxzNWaFv+5/Aafi8M3DCK1YP7WbKxm0URS6R0CNYYKc6s0j0Rz1QvIrYf9y517eXPI2ZHdReW4HTZXgeYnd+rh5UUhqXI4/RDcFOQW3RHHD/WF5NsUAW59NYS2yNRyCLnoF+7Ha2iBya/1PofT0PzNnqKszgkfDjPeZ6AO7mR1U7+mLnEeFgsYgVc1tiMREnoF6S2FZgOi0f4MCI0J7wRd6LHIXi/Entxo8wfbD7EhszFsSOQxDYHRW9si4qE0Ks48qmWesfleJ3tQx0Ls0vEJaFEaeLkYNLsYHSV8DqCzjpId0r9YYtk70/2jrnjyAYtBTCwn9yjKSqYur9fmztbEyYSfo0Du/2TYMtyDOfUMdkpijjMeHr3n1KI9mdDfLhX73RAG9I+gyfuboBnJZzn4RRbmJCEQ+JcV6ry6sAD7zczG8x0tyuSwOHZY0KfKmXWAjNEOP0kdVqwzZpE/COTCZ9tOykR1uIYIptbMMcuuIzwtDgQpPVVbNR1HO9eOPRBdwml6t2F80TdfI9DzK16ccFp7nyn0pl+cSIZclYaOPgKdDUAOVVYpPYesiPnsbMOjEp3kJ1fN0rUVwr0+zTTA/ixPZMlAdTSOcurpAH+6/gsuqskdSEow6pcUkpSx0wA6o/OcMczNOF55jcfyOn+xxslWYvPaIQXIm2BOqHXU=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791796231

%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

