%FILENAME%
haskell-what4-debug-1.6.3-8-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.3-8

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3028104

%ISIZE%
16404759

%SHA256SUM%
c00e149a6faf0f22bd2f4bcd431da902fd3d7dc1622beac2e9183a61e5024d32

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrNiMMACgkQeGxj8zDXy5L9jBAAiNsO48C//WEHEkfnlJOto34lGrttiWNAL6Q2WowiwnxfcIf8cmrxA7zS+HngiTGIUB07ecqbNEeLwPJOyN6M0qTKO4l5ixNWJbMtdohoiTEV0knVyezc8PYx02IUv3qsG3ZSkiNR2c+VxXzz7zH6HBDAOVjr7nhhomwQQ3IGx2A9xnJjRY+wzICgzMg5qSrB50YV6TeTWF3W0dCA578lGNGRJD//IekZKjQHYi+XhSpSzzt5Uw6klwoGUPXPcnMirvT3HbsOefd6Eh8gZrNX2ieJrvgKjx7Ats50xH77rQ5CHRW1+d1QJhxo0G6ttMzVGYo6vbmwgL6KxR5pXro2EosA+0ehbnKppY9pYKTB65Iu4Q4nGfGDXMISAir9S6hKNo4BglZDmpFakGHsGgtya8WbdqaT1itXJYfKy/0R1b9V8KmyEzNF5hfd38VStqbt7V785tsxZdSuFmbU1H4A8qXtEiCIdPoDjv2ka+XTt1N9ieqP3Md55Qo1RQOp8Vwt8rqq9xcx0Pttl36WZ78OobHJQshyZxxOCWtgR1l2ETFJDI3QYXdFYpFx0PoN0hbIas9MM9PPDL0azWpgqolpeeiqPBIL4gUg/YQC+bnIFA1hgWDfb3JGMwqxQPKPH+R4j6Ue4sjOMQE8hgeCWsw/89AMyRlSHOoN0rPAy52+zlw=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791854623

%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

