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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6-69

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
2728074

%ISIZE%
14523968

%SHA256SUM%
97a9e8b04b766b62552a0112cb1566ba407dc68dad9cae5448e5441ae12521ac

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmlj2DYACgkQeGxj8zDXy5JymA//RlvJl+HSdDguZA8Q43lhboYgg51SqSPWzVqjhVfys8XoYJ37oLNxCVpP7t0IAPxhaf561A36pthR34cpypG6YK6v8aG93+i/wl7rSpgdco9BiFZxiJ5syxBnSOUwsaLkwPDsmfnx0JmsWhLX/FV/gpgU4pSxpOwAPvEgFfhhL+5eC3QIZTgKbBjyj/Iy44nwJLY6axa0VgUwye2D3FAE6AG39C4jcfVkBIZwhOE7eCNBwIH5a4NRzHssnY7wzuSiiwzziFfBeSGWbuB7Ux2wn/87Kon9MDz/i9gInoZfSN7xSaQVBJfVGMysa2Fo9s5TrynTsbA13vh+SY+1UJytlg99D0172qhdpyi5Hi6EqvJdV9zb1eFbbrL1drNVe/5TpUceeuA1NdelJKlGJJxix/Sw+hN9JWX6rTt7grbbx2EvYLV5AHfiNvs6vUNqBRXQooQXonmFRHdWtb5dtk59qz5K63q9JhFbRFJb5p5LSRjG+Y4wB54DOKuUyBh92Dg2qIaNIvmvPJgIeL0yQR6/1ZRU1R86/Lk6oCkb8nNJDqCrE7xvUKSYfhZEMnbHPpGSUmb18dKiUnO7u6FtWNQBf3YjpAdlFhsYuaDBqbKpUiUdp0v+yUBsFM6x4okwccrwnPGORmUG3ZURtfIJU7fpGs5wqEcjj92AwZA38sFco1I=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1768150936

%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

