%FILENAME%
haskell-what4-debug-1.6-57-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6-57

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
2877993

%ISIZE%
15257536

%SHA256SUM%
6f4934b8725c606209ee6660e68eafd38cb1ca6caf7c8c3c1b53e82ca951916a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoVq4ACgkQeGxj8zDXy5JGXxAAm1k7cuHUWeRAVyWcPsI0ahGsHMzJ2dZjQhX5CsWo/5YuhJ7z5Kq+mKtLf+XFrHqMQg3lL2C+EcOK4OHGhL969QLaYoJn4iwDsuxO9Zb/SMf3g2K9Rpj1AIYWlkUpAzAKTnMzRipQBHzvQfTILiD2pC1aeG9jlxpaaGvPUKhiOwxLtVlsTbQan+jJW2O4tDX80yvXo/LoM+yAk6K8j9Y7doN5ynBURqTUeLR5xHS1igcH4zO+odtR3j0W7fKHRqPtio1SAHHf/iYSH9OzrAqf6gcKcs0hZXEcRvQOjuyvx+noBzPrzNS1Id2LAaXPSkuRodPzEE8UPi9LdT7/Hu0FnPwP8n3hrmnBa6lMt/JcZPE5TV7XMBuhafI3yqxQA4h5x30qNkTJxTs0LHETGj6gjpEIcktD3RABFdg5Tv2ZvkVvq5lJCzZzFZkLWF0aM9zd+mJIX+GSDGu+zOj+JNgSV3N/Er6ixrBhFe1L+qOW73apbe7EjhHBSjbKyJFGyn4opDK8UPTptwzXEXM7J6ssHyR+Gx8Lufyvx8fX3cxl6737Mlc9APBkeIkLhyYtdZ9yzelTQbY8bOh3pdGdJMR5MWqLOBLL3NifbavYBMPlSafQ7y6oewSf8V+N1IXhcotcwqoaqVyXQUJ0gSa2uqbxbs3xmJsTlz9mgp6cocJ+0QI=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1760056827

%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

