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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6-118

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3061449

%ISIZE%
16178984

%SHA256SUM%
9f15013ccecf86eacdecf49eb040e291d139262ac1a2e65522248b596092c3b7

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1780483932

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

%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

