%FILENAME%
haskell-what4-debug-1.7-1-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.7-1

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3059104

%ISIZE%
16410854

%SHA256SUM%
efc0274e0cba2278e07570c183a244940a64eac9c8335faf9994aed3fc57bb35

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrcHYcACgkQeGxj8zDXy5Lu/A/9HYJa48VBPGMJTORoaV4ILR7Wy3JcvLpv+emKdzGXjoDIWayc3QSVYJai6K8cS9vmkQGtRjFyLlEuqYNphZvb03DbdNN0z5BpnmttOtAVp94fpVydzQIT+B2RR3ti72/BNzPCKxKK3O1yeDd/GE/0w1QST2S3cn4yd4CBfdZLcNauox6S1EVpqtfG0+mtMnROSktLNOxOymcd6N+NcH4npQUySbmu0yTd14IKIXUrP6Q5ICjljWJtK9GoAPHnrFL01C0rtxogaWhx1eeyYvNoy5nNRwwzm/DEFKyjHKbSGSqeSa45vuhIEY9qNjOShCcSRDJunRiC0tMCRx2kntlvMd8Kh4jrOz5UAjSRB4f5e50TC5fDaNJoZZ7inPIbfvLMKnO6OBRCbbFik58zLhyWMLLXjldLGy/FRz1l5KqXX6bKPSnrIKJwomUSJKESJd8nD279DkaegFroe8TntOAtMZ+n83oIbSoDDwTdQ6jg4x9/CDkLj43JGQyDUZi18vPvDD1KhFWW652h2ZhLPGFyt0D63ERsg8ofU0RM46Xr1ITG9FLe87QeIvOGAk38lgndAM8mQ+Yu3WBhPI4UjrMZDlyvZL80094zI8mVVMXVKpxQbJeTW6HKrP5iWZwslzfOQr327fpIbfwJQ0c8xGj1zvHzeXhV8WbQAWebIWUXZc0=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792810089

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%MAKEDEPENDS%
ghc
uusi
haskell-contravariant
haskell-lumberjack
haskell-quickcheck
haskell-tasty-checklist
haskell-tasty-expected-failure
haskell-tasty-quickcheck
haskell-tasty-sugar

%CHECKDEPENDS%
cvc4
yices
z3

