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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.1-15

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3027624

%ISIZE%
16361546

%SHA256SUM%
ce29e8b759a4012c9ed4baf332f4a93e906501b565b18f6e959d6bc50287161c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpQJdsACgkQeGxj8zDXy5Kd/A/+IsDvpm9azXxK8iS1uhd2kSUrVXngnNu8VUmT8sBRpS4FOnvepIJ82U0B+N9ktcL0jGvo82IErVUboRx5sH9lpoeytsfsrX0y0zX434B3hLlwED2vgt7yORmpVvkS3rhbQPemHsBgiSNJRl7uyv3nNtTjgZIpt5xo7P+wcgCkB360QFo7+QoVQ5ypwBopnhlT1MIfK0YLzvJg0cSTECwxdV/X6hHtmJZwi2kByRu5O5OoZqR8Nh8nhnhzcLxnyNXsivir5w9N9gv5pF/r93a/GJTf1IUTBf7zFAqDWuI5zfFO1rNnhv7w92GZeaOLtsY5Ab7StiO1lriwsE2aZJzkjIYvAz57XIHBbWrUaNSDw+/Buxwy3yI7Ob5gj+Nd66KMQywAAXGk+dRbcjcPMNkCO2egiFHUDT4zAz3W9dF2GmTAAhdMB+nxoDojxiN3TUuCXP8hQ3spzXcO+mksfzPB2fTV08XAOw9Uo0tBY6ABoKRGiYYbb6VpN6dd6RChjwpWkh27Wt1VdCrqQn2MXqcEoT3SdRy9A/Cwn8iSnm6WJ0NE188w9YyRucFOd26gMd+jlSEsLVIm/cvtdvFe1kGjCZrvEnbTr6eoSuDva5mehotfIxgqNiZed+CSDMTnrUJ36eDsm5ZDqL+ymt+1Rml8ffyx3KS3nYKp0/ZBkHqnt6k=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1783636698

%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

