%FILENAME%
haskell-what4-debug-1.7-3-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.7-3

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3058872

%ISIZE%
16370006

%SHA256SUM%
030ecf401402577e45648c19bf3f3170008dd64b6259ffa01c3d3749a01058ec

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrop5sACgkQeGxj8zDXy5J8jQ//drgPfi0FvK0ORd7zbsoC08CC2OwGknSbbNuo/sVLh0XFV1LxtP3ibtQVJnYN5/fKDIXLwf7hoEGjxcPXlCR2o6KpW+IuyGtF42q4ziIugZPzG7qytofJ8w29z9K8Blc1o6c/axDQ2KBg1hwjuWKRhaQ94USRX94E+3Pb8TJi82/tCdx0SjB6vLmURXsgLQM158P+OGBWd3SSnQ5tOLp3VH0NbiUVVgm4hbAevOa9PSh2eXddgCtnkrltsBY2oc2/ai1pyz2MUhk9urIThEQn1zMQRZaQndQgf0vF+vQRY5HozjraUr9+yz2T9vC8to1vj6lbWh95/QdKPOHT5XRj5WgCLdnVETDFHAE1L5bNRY0HS1xSIfT67TZXA29QLt2bPyjhbcWHZsf64Bp8hy28RhZUITh59J1gzdfCMupWWP1Dnu/+g8xaTbdbWkmPDhO7WOoFRGnzfjSBbZCSwxQK9tpad4NAx1LGFqtqBf05qDdb6s8sAl+WcnK0KrrHQZnQfPpv25g3Gc0X48N/PD5cKdt99mBOFduH3l0diTNSWTbadokiPf4Xdw7o1AogO5YSl8wMwNyL3yzhsjI3f4ZSqTuKjozHoTdzePDCUjwPazaLojyzXuESDNlTCHx8iV7IAj9NeZMNPNH7v6bLBtSFdjaJBs8b1w5Lwgv/xDynJX4=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1793631850

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%MAKEDEPENDS%
ghc
uusi
haskell-contravariant
haskell-lumberjack
haskell-quickcheck
haskell-tasty-checklist
haskell-tasty-expected-failure
haskell-tasty-quickcheck
haskell-tasty-sugar

%CHECKDEPENDS%
cvc4
yices
z3

