%FILENAME%
haskell-what4-debug-1.6.1-16-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.1-16

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3022702

%ISIZE%
16404978

%SHA256SUM%
07bc5b5850f19a263cb8020f17b97ff79734edbf3f798eddf74a054efe8847ba

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp7d7EACgkQeGxj8zDXy5Ls+hAAg8Gfu9FsHtJkEij2jAh4ejxEBX6wubzKKXHPV/5dC+2x0X/zRyHvt3WrIEXIqeYycCniEvlZ/RxfGLwFWZaFwgxwwOYXhnXbxI6XbZWSVNOfyTH75SI5I3OM01vZc7hFVqZSQwgaQZpC/VmjhKGe/alpuWmxEWZ3jyph1PPsnP/ZNXdhTWn6+U1qKFubq+A1jey+vEV/OSjDXjEOiUREblKj9oOd4uEtZAMjtXTi0jI5q2i3XhS9PI+yCYQlfye2LvcXhPi5sBKaHijMOjaBlnayYAOif0DbEhY5VyTcGpNI3YdmHA4hMeZCF3/H3xhjcJFTV3GfUFlr1tM1mlyEXIY+/YnvsxU5ohYlgqzxSOETETg+pA5dlF31VYsjupGQMfTRbcParlanVibbOU0lTAH4QJSRXJTPTBT9DTkONahmOgCys0HVrgAUtcNQFYDTRFXo/o4dgqLoHeMfU05u3DBx87s059/l8dcQhFjfJXsI0H2hXMDL40tOKE103DvikJ9g5LnoVL7X6qeOe3tNe3c9vIrCDdscMqKOAAGrUwcsCHidoFqWhiY3OMEgzTaqCqjI2Mq3YjfT7bhMV+3RfP8BkevaQG1yvD9oUkzclY36FkospL8TYJPpLdbGccuSenpHHBVMKxuX9kuUAMbFzG94dMKoP5hNn/QtQVPREQE=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1786476347

%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

