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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.3-10

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3022010

%ISIZE%
16358631

%SHA256SUM%
330c20005aca7b2345ceb704b3d75c191859d80c0009fc135885ffee57d9f6cf

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrTbggACgkQeGxj8zDXy5IQoxAAkyE/JepiEup7fQCDodjsEdwZtaSsoPcM8iEBdjUA2xCNHhjLZ6VsEx19ju4saT4Pf4njhwWNlxk6+z9n9mYhtMAW8vY7y7XqgFq11xomg6XKKu3kh2g4UO966utvw6BYNpdhQHAVOGpFO8iQqWxkuvaeicIP8BbjLH42Y3I+ObaeIM6LyF54hPoAcDTbGC+bZjwyOUsb7XzS6EP/2UhtUVMZBLmQG2iaC4lXsuAFj3XE158YgfHV2dLegQGbyGSBXz435l/C9cdZakJ8Ad334/fPlZuTDxb7uskUsxLX3Vm0k4PFT/s6jEfEwqF1W9P29tSkh9tCcQh2V8GtxdbaqyETZTFb9SRWNVCWaxzaZ3k3Y4ymft6AnZG84AcuJPIXXSPw7UA796nC9kL+9CFqBXAe5fXVa1k0znff0+WSnZ4SKYSFWSYCbpPlaerczqCIInaVf2IFYTDDJdWV2MNsorKIk9z9y4W8OihWvkpmj5iAzpS1NuUdAzZ/m5Nl4sGboQEI3xWguEbXcEr5WLtqAQK0j34u/BTOXFkOhGlBNvVjEJVM3PV5P63ZcKTF249/EhTtpfY1lGrV9hhnSuW2421yT/Ndu6Uj77D/pDRgwG5YMFAnwftJR2pkYWUZxxYtC84SKmXwbjp8zFw5LiS0aT9Vt9VPEcrjUWJdnMnhaME=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792240906

%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

