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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.5.1-101

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
2810591

%ISIZE%
14980204

%SHA256SUM%
45df5776e322ee495f358d948c69f57861e8cb144d6477071cb8ef10f8f8f68b

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkkYACgkQrx0hme8KPM8msRAA2ke2e0IwnNvuGvK75xAtbcORlDlUGof7O4fSF3wjuzxmIWHomRTQaOdKbl0VzGi8VWk16FbPgZze682my7XFLwnZ8rXEPujYcMKq/H/skBDBRbPugLupyKcxPbAEImhcBAW/V0inJecAf2beR96mXvkjWwyGDbe25yPXw1Iwpc3NLGvDj4f4U9QlFk0+P6/VEJVeLErRzEtG/jL4G7jauk/ZSHaU1ZurGCLprknqpcOXMqaq2+vpD8ajKYCqoaTJlxpLwSLZOj/kHIQJki+Z4y9+ROZp5aqyP/7MlTsc7k3YEyDaGWIQwbBWf/rBb9p2HehO+IqAxp7eA8yZJVO4BgDnzL7ZyH3KPe43gq8aH0vyPHd796o1SjsTTb7Ynkb0QOsr8VtyiSocnqnhoFYgnd4TxxPkQsLp8tGOpRBuwSO3TSpW6jWHPL5/3fdHpiXvrRF2ZDR+jv2IyLFdNyfIIjBCjA+NME92VLdEBoRef3bBPevg3wlHtmloK0eafVtPcTxiU2ehbbiD7IqvPqwcla1BAe24d6kYNwgsr+2vR2NeuUlyh3yILBmd5BTAWUS8piBM8Jj4KSJRCiUOSRAcwUPNwJDrefnzdP6kWnIHKzCNirz50rC6ytYMkHoUWR3RxRdrgPDNz7n38JkVqTzarpLbjuU14btMNN3LSZ9za94=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1753724825

%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

