%FILENAME%
haskell-what4-debug-1.6.3-6-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.3-6

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3019542

%ISIZE%
16362743

%SHA256SUM%
bac9a0ea923b68762f26c0b5c8802986337798f0a44a84195e33b94378cbe03c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrLVUAACgkQeGxj8zDXy5JdyhAAwAb77Tij0WaJoZKwJjlPARi69xn/9jFvE/MD/bISZM03/hK9s99doQT3DBKsZUtHPdL82IVb1MNrfVzGnzp7VjgE68xe/oPTbCbO92cgp59or2P6X/oVFmpO9zTfWTOJavgSAeM5ocd1WbBvcuBUolFs39RuMKX/1OkyzPfv774k0/dOYqC1QoMFc5Et8axrLSRjEFgGJAwDHrvCoqlCya8WfiPuPJFJFtz+1/ehBJnAO0j7CsrU4Gtl0QWQUNdv6pixbpdFOxDu8aE+Rock0N+SKrj6U3esOFi4ftCI77MOE56FiQMpCrj2z2Vc3KCItxo1gGuehaDVIf75L1y9rT+eKBJbptah6wkt+Rz25Z0letZ1f5yvV69M4ZTe5XHl0W1TVwZlFQOXHzTFgkcBSqEne4e2nmGOTfsHl2meq8TAxwk9pIXMeKLkg+/kcxTUMpnxHy2jMa32ofe6XxuDGxuIoRySK720//ogMujllT8Wmz7O/7bGR+WjuD2gFxStDhX5v8hsn/O5BwkBfqKbUg+z+8Vhb/CFfbN9aKuSPWDeTjlvghpJDSKTgEriCgsW+qJr48IrhT5mVmqHZthosdrik/SLskun9F71DJnQY7GwgGlvORkh1iXSdH+vEx395R+8PurVLr49fP0X/+pXTZssH5F0/wYtUxsz7pQ9Ufo=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791710412

%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

