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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.2-6

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3020694

%ISIZE%
16402536

%SHA256SUM%
2b4487fa55b60ff45c3a54472e4dc6ad695aa7a9affddb7c4c118a16dbab913f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqwxoUACgkQeGxj8zDXy5II5xAAtwTybM6gDklWuCV1zbxzo9WAJWBiJ0A6v9TU1GNJSe6CTsxGFILWVcqlLMgEiE7XS7yhcCTc46GhtOZPSKd7GMTpziey138FxIRubRef4qmLZ5439W0ppvvPI9mpQsvx4emYU4eo2haOhUVnVfH86GXoNs2Z/y6KmDVGDe4JB/IgJptLqcvxeZTMCVC1Ck3PZF7j2//9CedJXP0FxmRTas42m13dQsfwUZNogulu7xyCLmPeUnJlR26Vq2SwMg/zJ0E0V1lPaM0KHbME5iGOeaurcmNaTxMBFqi66l1GV2fxcJjXAhVsS0BQunA2h72RzhF4OxMbhZh9JQycAlxV2ZdVwVKCJT+MpuH7rJ6yPsGkxonb7lx4r9vFLcug8ai0raxbic4YS4vVCYWD0MJNWTu1LxdHReX9QUOMRo/F4OcCHXxPc0PpGh/4NXfG9uAcB4XnT6XCtDmeBAhhEtFKTz7mWmJNzI3WcOf4GYxhvsyHjMTM5V3M9ojcnyjcUHd+O5WmwnkvbgcYYKGNnoPZuN5AbH8Oxta5nAcF41bT4IqIGy9iyqDC8sy2+svtdnyxruQwuOFCzTzie487j59gg+5VF5KI6VkaxLC7S659PddBQIezQfDx8C9uKyA7u9UTDGt/guEo+tYqTGc7eQuzpDhsZwFegDdL7lEA0I2t7bM=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1789969800

%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

