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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.2-1

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3025749

%ISIZE%
16361656

%SHA256SUM%
b9eb6b550f52a9fe65808a20446f01a1e99461198a1c058b2eab77716fff9034

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUsTQACgkQeGxj8zDXy5LOkBAAizKQhRaIHG3HSQqP9BrZ77na8nWYSPeyPR1en3+jLj/08DXvqRPABxeWN65XeBdSGhfvHQkFZbofecALIjzR5R6HmMzAIdykaNRE4rOovjko8lOp5l+U6LITffKjqPakBM0Qp6ntS/UOrWkUbeYuAS9aypNaAnImULZqjaTcOWPdLgMVUGeBwBN/xhAQfNt1bd/KwQOdf/jQzEkzMBKvvdI1pcEJc6/WGtYnaz0SQ5EjZrTN3vwMpCEmFkUGVBLBqukpetzYreZSHY3qegXUg8VMRaxm+6WqYRHCqqrTPQX3H+ZPAutM3PXbsl27Y0MGjgscGgyAfva9opYvvcQ6IZbUgAJVZzJ+mgd8/EH9e+9YtlZDAJ9smF1obolgjbRJTSNckVbIWobtJf0RAWFaIYw9RvayR8kpapUU5ql3ks0xiKt5Zit/fOnccxHpjU48tbSG1ygJJHXJ5djmwdoq8JQ3WdF6FPQZ0XwOUN5GGTCfP0kPM+eFYF70V/aRIUAtTskm7cnk0XwSTpyRQw9zuSPmQ+l387iul7J19YFkB4mFbx7LSHdyJoS4wjp6wvtfEKThuAHqF4Ylna95mtxtBDFiHOKfAq5a3uxyOA4eKU1AAczf5InYeEoBQK9egkQxa/l5NC6SypWnre4k43qPHS9CXESWLNVxt4MyuvVZ3F0=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788129430

%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

