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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6-66

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
2726907

%ISIZE%
14555424

%SHA256SUM%
d700cf396ea39a2b5612389481e944fae7835f9911132123baa0a0fff6fcad58

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmlFHyQACgkQeGxj8zDXy5KxDRAAoCTB/NVyHGHBFXBf/jMVLQxymKQhYR1hXTOSn0lw69tjOFTzipixE3+09YAB4949ramu1s/EbgiZgryAp6sUFtu9i9xiYHNH5efso+GFLlI4HleTT7feBAP9N4928lbUjSM4SwE9nsgKHU0BCoRKfcLmpYZeoDvAjYtMPPSzsiiNisaU7l9rvVKlkbckhptObI0I0cZUVPoSFstrwlJ4V5IP+5yWFD23FcBxZxradEqVdbjIk8F/H576lagDzMW0s3/1yCuuCdPSOTILAWUkuYDVhTgGRFL6nZPodfKkhqZBAjTVP9vPi1BVnJdEE1iRDpWW2XLSnd37De59pjd/yzvKOzSc+kcCWYa0iz76qtkahAoxentE4THd2yqlNnCMJDiXY4fClqjqt2Q/30cBwEANpPchbWeuH11PuL61Dtcsp7FW7+sVz70M4h7aGJmrcl5827PLjEXETWNYGhjTrAkD6LbgjDWMaxjeV6rdykbSfINVLdhshFpDWy4PLJ0pVaAqHqsUgOfR00huBLgUypu+A7K9KtRHqKHbbtemWdVKZJcRExfQldfYfCYuHU3NG64iy+ltUeikMKSMgJ00xrOAMkEw99gHNGZBXCVaf4GbDXHyqUoiFa7MZW3rdrAAW4WFyJOrfnBp9qn9SCw9xg7G+OKAWm3bz1mnLnVYSDQ=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1766137367

%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

