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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6-70

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
2727584

%ISIZE%
14555584

%SHA256SUM%
d33c4fd91e81e7b079f6bc03ecd350bfe9466fc3a29879593e4a1c17ec50d916

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAml2IcIACgkQeGxj8zDXy5JLCA/9F10VEqXz9dJSDOZrVYccD+FMR8GeZremgbHgtPvJbCg1b9J23aO7gQTX9ZsQib/BBURmhK2gmgWd9cS8TfT3o0KpVDz0sajts2o04cvLafhuhWs42PuJEAmTCjSrCFr7nWuS2N5YMgUBaBxjlC6QP4uDLwOa6JXcxwHKaQBJ3W13SVdY/foWu8i+xQbGbhu2ryxaN0h+uXb29s9ZBe24xfW1dRhtoszfFfkGory3I01vKX+d2Esdpgj3HMQ9MgYNiHuJnj+JiEQmivW7bk+9IU3CF/TFIXP2e61lzSE0xGWmZ3ZEK82TP4QDmQCxaU9803HpNNDaS34RDw8V0wgc6ZVF3PlF/w8C+svFiAvZ1AVibMMYncsTV/hIP+Tat+Y74Op/ZemBbY9wtBb9QWQbHqu7GCvUtpyCbf0Si3VhIaeIi941xZEWQbhUb9c26mr452vN6WMiLonFJcXqmHERuS1PjmTEK6PupWu57XDw8X7ylRpAx38iZHBAlkg7H+ushkKm0aKAL4NSgV54mBM4ZLM1RukOWTOFODJPfliTagepxuJ4NT5LvvaVgJjAsL4jCVONzOueb/v7CqE3KXQ9uUqZXhWaH3ydAK1ouWki/DlIaTmxNEr69ZSCFpSqQ4Y2UiC61ms770QBBZM/nuA5YZ3MqGrlI3GgBHpTw4vcP/M=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1769348028

%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

