%FILENAME%
haskell-what4-debug-1.6.2-11-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.2-11

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3019108

%ISIZE%
16362680

%SHA256SUM%
da583a2afee475178dbd7935483a8600bf748381d0bea9eef4170f373a34f106

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9HNQACgkQeGxj8zDXy5K72g//evi+xlGIMev99CQCSGgoZPC20/QeAjFFjcJr7taKHiAB4TM73vk5mRRAfCMJ6Bx8+upEmweL2iSNPSWstOT/HeR+uiHO06vkXNqwkUGuxxVvkGix3vVbGVHt1OCaR6hEabpQMom0FFV3SLX/lQB7cSzTKNUMEED4CX3OOCjxaT3Ba2rY0TJiy9ra72b9vRUz0vJNQDESCfMC5AtBaph0w6LriRrouHyNJzum0tVteOgp9L9XfjHTsCw+MAI9/rbIYd4hCXCRx7gJwP+pnXJ1jV66cdVZXamEA7+RYSB1S3wAbbnvxnRtWA/EGo+gnZm341ILhsU33s6xJb8ASqDpL0UddqQIZkqXHMf+kPtyoWe13Ts5RMM2Hy7iGKCY73X3Xxb3cn0UK9QDpeSs2c/REFTlA7GYmsugHoKhn7Iu69H6AaEHI8yLrJxDNzd8hEXLl9IaoRkYWgeF/4eMhLz6CeoQjo5e9seIi8hqhjsWaD0rUvjOzTuglP7+vKxIi7Pk/BXdzWTHNElBZdENUR9HOaKZsPEN/DFqGxBgowXoCqFi7V2hFaykjz+8p4J03QBfMvf8OFxCANDIe/L+duXDuYgLwyYYXLQPX71RCNYN6NTTSFR5iD19XfJymtfczwle21MiKXOnyn6NimytK+SkuRBCoyId7qcU5KlPw/A78e0=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790778460

%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

