%FILENAME%
haskell-what4-debug-1.3-107-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.3-107

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
5367

%ISIZE%
5904

%MD5SUM%
52036e26b9020137a6487739414813b1

%SHA256SUM%
0f44663d2fe92c6ee2fce667815bb93be79d7849502dd7c2c06d116290651fcf

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmRj0agACgkQeGxj8zDXy5IHpA//Wd6DXh21JXE8I79nHRGfZ4L6cLpBr3LB4B5Aqo9vULvnAu1NorbthaTqzMDuJPqJqHhJSChOkgkshv5IS7rXh354n+NkagOXIiwgyPgGOuxO4ZsimN5uOEpBvmNaH8y1z2UwQTuKD5nlog9HbLp5NcB4sKGDhh/Uiv45MowGLqMqB2S4q4zHZoICvuMYAIGmVbI4SvkjABqcZtL6+aX1WMRM53x+wthUHnAYNisF5Vnp6JSNl6WZY+Cdl1EpFA6dHCDZ792EzRfatv/iUYWz5WFxjH/bEphgE2qwQTijfNUivk8tNBDJ5OQw/voRufAEeQ5qc5z89e0Oe9p+KnfraP3QsaXVnp+ZL6CXPSqlp7SNN3I4AiQkjqwzlu7lD+nNm/wfZCYWE5Y7X9ap3ChhwRDR18eTchRyFbxzeSQMBeQoJGFp8yBpcDmc+dxlPCSjfl5LrFmTeeQ0l0IrDINapfX8t4DqFTsYxxMnz3HA/1vnpYaWVEzFD6Sw9wwtEUfQ4Qmz5jQnCh0/6yK6KwZ7WSTqqOw931GYilcnbJM2/PjC+SsKlCghohHCmM/kXNAzMBHz3iwyJakY4DtQGusXajNrPk2EPjo42DdRURXx/6/Xf9V0cxTAtZNj7lyQ/1sErR7xS7QPgrCwGYitBNfxmBEZ6jVp6T1yoqdLIR/K9fw=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1684262555

%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

