%FILENAME%
haskell-what4-debug-1.6.1-18-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.1-18

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3023111

%ISIZE%
16404698

%SHA256SUM%
a043ca9fc462998e776cb23d2b0be4a73d440ef60a9cee9cf212b50ba8d7744c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSkSIACgkQeGxj8zDXy5KkaA/9FUIF1QdwHwKwEIkNvi23iR5f1E0iryriU6ZpTM2Gbf4DTqTN418197FRzH/V2seghsOboGgpJoAL3MMwbtgZTSeU67UwIQN1fs7YpPAc2Xn57nV9I8eTkEfVtc1f+nw95awX+CAhr1pD9MpRjIStMlf0ERSuFretfS+eUffbKJ/jLP7oBeZOSiRuI56AlJg4/lPQAWqL3IRqe/IYFLZdjaiyLSvK0/OqEuzUk5seUpwv5lLnydBCTpLJlvb57LuOHbk4ne4p5/Zdz9brYhJs3pKXzb6sVIox/8FTthC2S2e+7f5lC1xMWwembpUN+GlnZGELYQ5C5+luUj/BueHKcSUYRyUkGnHfS1p36sC95Wtren8QxblNUqsARzG0PlRDii+DUBOQYz43tUwiCd/mrHpTs797UrllvJEfHybKcdjf+3bhcm4pspPjyCNDVf73jF50ld0zlxn9GI0D5LGS/yh37jK6UCV2dlUqjkqHqHlqZDXNi33VKOBgyJYHKySUrctROKixtqYIoZQNZe3fcMmR3BJ5wvO5xXnEP7pld5iAWLZyea7mPtqaPUrQI1USpZa7theCDWxrBZwJhs1jX95MXstarw7EFpvStoMTQgUiY9O5k2Vlym7afoezibUd6tSIq44GoXsNKis5q17dv3SUlKoSHE/lNt99xYj3yr4=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1787990168

%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

