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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6-65

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
2727584

%ISIZE%
14523184

%SHA256SUM%
12ca57c72fd778798e4ba949af5d3b8bf5e5d9ba49ca60da6ebbd25954c2512b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmk2viQACgkQeGxj8zDXy5JScBAAhRp6zN9YbWzpOXzOKQeOuub48UeqHwyDDOgA1zmtOQu5ECiTir8CdadlE7cFJBGPwzZFSeRzLFboTWWIWOaYLkXnj/VLDh4esz5bzn9JSSiOr4oq72QTIGeCPDXGDRh83S4nNppxL2IL+vRZG+v0OC6NqLxqVEeaAo4L3tvVO0HMMrWSZc+bosskW89zKyyhBS3dQvCfG9xhmVS/AXSuld8o99jE/arY3KgG7QqSgUfi7P24jy4Cp+OCBvMUai9ytlmiMDVJ4u2TgOumNkmGOtUnixOAOm5vJEQkd3sOL2gbQ7+1Gs3OH2oMwR+Zd2Xs6Fyur8VMdDFXOE789b1ztaGZ64MEj5p+H9juFl78YRTopPoQJ8H32A9IAAzw08RVX0dOqlTGYOkL/yvf4+cEAS7YQ+GnXyBsf8d7RhmlScGsEuIi8ZBeSEFHi7RK992W9dPYHj1li1bpimoAKJDjy7TJDnsAHkAIA/VbjdCDV2cLw28ue3jOrxLSm63w8SWDxiqLGDhMSM1PtmQc9u6j5RbE47iyS8wD+7mGFojqUE49SXolhxAGdM2k0jKOGNkwJJHXChFDV2PBNQdf92x/8SwCJhAqxB2QAUQfvf/UABE0dyHIkHYu+ox7aY037k9T4eeF8eCxTzY95kQGpxW+mfklRMZV+XLPiwkiRegw4cw=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1765195124

%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

