%FILENAME%
haskell-what4-debug-1.6.2-12-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.2-12

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3026267

%ISIZE%
16362512

%SHA256SUM%
1b2a8214298423c18ed66570d7b52c7f05848c6c3eef810dff9a93520809900d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq+KBQACgkQeGxj8zDXy5KlSg/9EG0ON1lz9vJmgXRILMbENkU54dmzPf/MX31OHb0sCBJNHbeQSG7zUeP7xCTdKvHueo4aGUzNahkmEzF7aw3aXbXQ9sckbeM079zYrw7VDIdb6jLz/HNK+jst7zzxYxFyJh1Z3KhkdqnSxVjTPZUmqs3DYdb9jkAhWcObgSfd87p/qyXsl95ZPKqS1SdoZNnHFT9Coa5KOHmRPI5+2dBnaDstDnvRX3UEqL77Qm8dW7YykjdWy1aq17O/ls/bWgnZvN28YXK5pBcdEK6plN1eHG6yO9t7rVigKz9SIEW0VYTMB2tEVtvRb9TvBojHweUgAIxDOMdwnb4vJWerKmSM/xaoQpFl9iSrlnvypvyXvkq79g2x1gDW1JMUB+HokUR510GwHO+FSb/2mnpOepMB6kldSQstv6ZMGlKbLMpkgr4JwVKkwB84Ok25YayKVsNqhViGBVl8idM8D7Y0+cCsZDvVeoFnP23HUanEtfyaNUQPz0Ly8KurLGWN8M8CXt/tp4RmrR5taGguidO4VGwtUZVluKjca5pgYChzjwaFaTw9cr0lLX31jVet8d8SwX4rJuXXliGVyZFSEzTJNHByaHXAAQfIZpFxRakRmutqJvTWT7toxJaJst1SMQ5QJXBDYovIb3v2aDhwylO0gtdPnESYgFUAoCEgnHNYHGYWbmE=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790846865

%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

