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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6-119

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3007958

%ISIZE%
16224984

%SHA256SUM%
a28cc6637708cef68b98a0419daca3deaf817f5e246d4bcd1e364a141c660e2c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmou2SMACgkQeGxj8zDXy5LsYQ/8CDWWzmKH24TJLTr8Iv/LEzFPxHQ+36+ojvKIJMJkPFSstsj2O7DtHdx8mquOlzVCA+QoeRK5ytMwPFDs/Kx0boosR4dl4iFJFJcXmVQxOm/3Ik0gOXCO/o0XWB5ZkVYzcUUwAyVxZt+PWqT5ySGS4RmOVLG670xlVviTzANe5ztKQUbcu0BRGoTtQv5/JIzysFkV8CYlubTR88qHq5RVuzdMSeXIEaH1m4T+Fg/3msn1Ww8yDZWR6uOCnlAp4aTYYQOlf9kr5dRBHJITKAQ0qMLMgus2RKNNwcHHg1r1gGVeGHzrrQSudU/SGjto8GX/cuJe6ydlKFzTP3Q1BSu0/nSYbL1lg3xi7TlCp+TT/lEM/8YdGH6ejmJSNwBULXUTL1TyhdGFpDyl2dft8WMBgnXe3uoRljSPjkS7er6x9sQ5z9YcnnyItbGDyt3IcZGN3xxuyOBxxtsByCl2chR34/M1pY5R9m/f0xJLTkYSwN7evGgZWx09q7WzyjL+mdOK9yNYq1UwRB7hr9ra351CxHPhvkBkmTHdCUUD3Z8Tg9AS25iVcJQFED25fhxmtmYL75PhYxtnCtoSZ+p0OVkSwPJEPoi7el0CVxUrtiu9Uaovoi2sRMhnBZa/h71U/v2BXbyAyfPZ/uyBaGc2RKjm1mZjHQocUzpZRg1FUK/NcAY=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781454870

%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

