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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.1-13

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3026078

%ISIZE%
16360954

%SHA256SUM%
89c13828024fcdaad8e308c50d0a06529293bfd69d7639a2001dae70811a3e13

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHIAQACgkQeGxj8zDXy5KQ8xAAtfdzquTg1FL3XUWms+fkS0PZpIEU0ImucFzpZXazx/BwPyQrFp0V7B1G5SiK4ufxkWHU/upFp2j+qGfhow+TqjUcQPQc493Bsb5NrpCp0zesBdttoQzdl390pntf1CG9pNClMzMvxUix4GsVQRjCI+8Dj73eUD7aJIeAjAid75LWLsr1Wx0/okXnaeTOAT9pFn3lAka3bwom9h0XhDbd1eLlBOP1IEESm2mvS+c3srf3KybJpu04zD5S0GJ8JDA7BEhd+WuI10BjBLFhxSldd5jOlOqtdQBOOp3P5jhmuVsQaqDuWHqQxM4xb9vpzU5Hh/XyZb+xNKXNTUbM2H4cE5gD8OUH7lwLP8YzL7ha49VxtfGaNOkWre6+5YT6Ve32z0mZ71soA0cfMfBQ0crqONYXhuTZPTnbXz5D4IsQABMO8aG7WsxmI01vcO/dK8Dm/C2FE1QT+7VNyxwgs+HNniCvWzJs9a6rsiozveC8+2sIv1/8ZDDxSMDwJwbNQxCP+TJrVhlj/byCqck0fYYtv0JMbLyGlunwLmiBWlmE24Zyz1xYnCCpcJV3fmx5xBspsNcDdKG2/81txOvV0Bt1bDexLvvkeHJQVOM/4PZkLf92NyrrKYSsK4uwG4nkM8klCn82JUHJDuOthE4aQq8yDbwqboG/nAWd6Iw2bTQRYXo=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1783045961

%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

