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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6-121

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3012441

%ISIZE%
16139704

%SHA256SUM%
2a76e72dc100adbf75a5d28c6a2bb57dd27f32855a623d517cb868034569a7f2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoz0CsACgkQeGxj8zDXy5I/7A//Ts+4f9Gs8YKRI6J+DYQI6acp5pKos38ij9mTKNqwxwYrWbc4gVhcoN7U3E91XMzt7RVeHAv5/s3yBB9qGsBmNDJbxHpPKJ43KZk1xkp9cMgNZ4DV/YxBFdydc1DAEAGV50ABbX2IHkq0QeYQErRydfbh6my/nem845oiaRTgGQ0XXej9OxGkpOBvAfxymtvEfTR9WDBec4rB4R5RbnXLhkNnE4EpFuJ4cuUMA1T/Vfnfc/j8jBarvkVQK11CaiixMk8Koql+CNjgraheISUm5XbsXpvQn888voQ3XuhiZTAq60G4FbYa/aZIxLSTb48wYmb7/2A3kwSGObaJaC5/4kYO4aMV5M1WDBZKVeUzfzi9yU9dq6nVIIzmxLBcJ+zZPINyIwEUcwELy4T6uTum+PofVrNNf0HzfUB+dwRLZXMyq4oTa9vym3BEDa9r1fMfvxGg7S2whhHZodaZnanuR9q5i5z/Z/iEfrPqTJ/rF/Uo2DymWeOSxTmRD43O2Nn/e7HB//adHMYCR6dtqS7ikmn2SxtGLaWo2d1z6Lm1lVN5wbyPRfmv9w2dEvdrJOmW3gM6zACgw8nDBKC7FaQ5yWHAYJPjdOk84wRmhBCiUMngNUX0AOx+37ttwBNq2WaFiPKBG2EoS9Kt/ssGXxU9DvR4BW6gwKZulfOeyBOHnoI=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781780360

%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

