%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%
3012394

%ISIZE%
16178984

%SHA256SUM%
b05080cc7f4b25d43cd5a1ca9d7479714e86146f39c10a59adaf12f431946fc4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmogObIACgkQeGxj8zDXy5KOmQ/9H9cX2/B0hrq+dNsoRofQKdrghN6bZheAwmQQYVFGPWP8bjzWt9vcsbwM7gLSyEgLk6kQN4cpTCPU+zJsHTvLWAjhcsNMusVYcU3zv7e4hB5XLAbt8qPav55hIKBLGiC/kp95u64s1NnI/LHr4f37sFFqGHPTyFBhtpfImipT8fXLZf+9CXk5Ige6r58FcH5tnleulwWDyxf0lmQtROxq++LdaPe5eMZUZmbSZt1Dqdb1jY367d0MPVSzN+NgWk57FTH2uam3a9jk9Af1Pp/pPgi46ADSsep+CI4+V7ruuBjdq8M2ufr14ncmRFnwpaUNQ02u8qt/EAc0PNy+qTSAdMSkAI9xoRuIKex8u1eBZXVq9BerywDsbT7vIAwPCFweF5jupM0arPzwibZwLcoU/zTO4qTIkWvUNEy2NmiF6XS5diUsF/7Plj6xA7CWgmEcKJyf1C/HOinVtO9kk+v9ainb6tJ7Fp/T84bG9kiVvpeSAsKS/jwah3ccT0BFmdP3BI2/uFMjeR+7WiklKpzvLIB7hh0dx6zAKrB3LcNaS427hcPJNRqEyUQRuiuQK7EI02juSlt+/C4UOhBMKieI1EZgfzV1Zj1hZiRjtCsglVaAKiBo5S2o0Q+cnngU5HZmVZhb6XDqKN69eIMyG4UB0EEkAxLM+DiO/KlyLRFEK/g=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1780496531

%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

