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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.3-11

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3027135

%ISIZE%
16405311

%SHA256SUM%
8a71df020b61dee2f5facfc5f988e20b28748cfdbaad05cdc4946f0eab84361c

%PGPSIG%
iQIyBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVTsgACgkQeGxj8zDXy5KUOg/3Q0xkC7v0YzqGPIRkec66rtP1EhdCpcYMpbxstUQ8IMnfM3hFzEnBAXfkBmOM2PmxxrjnEhQWvzypQoCbhIZ6AKprr9YUM+IGxQjjgn8mCNboKZLlURhA9owazIAKSnaI4GtecVhF/P6L9anJAaCXMGawXE7yMa43fcNRW/xou/ZREVVwcvvmT3xP3UxM574GcJX8tZrRtuy8RrCkHb20OEMlkw5H6LSJNVXeHNT2nMQoUANB7cYjIDsfKM+z/5nM+QcPPRTUEPyx+3J2GXmJQAJOFFaoZvgXvvDlzlyWAo6rJ4U1Vf+Am5qE+u0Uajr+3g51i6sjxbUn/mk0IT5cG6GT8ZJ97/vu89Wff6CfbarGxeRWvhxihjhwZCu21XYWXMDfx4GqZ/sl08w4VeZz2WRnFTtQ5uB7Zlapjra3688NBbGhtej+ZTvmEkn7tFwrgAEizlArZ0Fpn5eDGxg3GnTBLxy/8hclyxu3tFocO0xKN8vW/bwCAj2mCIj+Y0VjHfOeJeLjj2h0az2YW02zqAOPGKiCcTtdyAHmN+I1Xk1HzTsYUkJgPdz9gtCuG11GFkoNSWuom5E0/gmumd2ybqIww/aVckNsYlkUlAfOUP61824dbEplDS4zb7UUJy4DY3BOXzvS/QAbOEgf5FGfcUWuS3zG5lVrfRCZPMivXQ==

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792364108

%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

