%FILENAME%
haskell-what4-debug-1.5.1-101-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.5.1-101

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
2810591

%ISIZE%
14980204

%SHA256SUM%
45df5776e322ee495f358d948c69f57861e8cb144d6477071cb8ef10f8f8f68b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiHuFAACgkQeGxj8zDXy5I29A//aTOuFioFyODytZTtRLGbAHItIvk34RKdnZLDTUn4+zeV6WPzUsqnV2ImYDv6BD2ON8eC4iYofpbXdYDxBSWWk5GHWm+QhmcL+j/e25ikWZts5zrFDvcKIX4dGNmF8eilWmq/EnCzGL957nmkyHyaL/+k5KIbf1YBWUIOHoMT9yss8Pw2WD9ltlRfxcOqFbwlDlzvDESPu3s3Tbu4eqS9kyaPf9528ssrS08FVnYmBJKDMfvZwFE5/nXIhxMXAX4XKbqmQDen0ZGH1zTyx07FwtCobm+QWeyDYS6kvqo64OMZy05e2mEruomBSMcrxFzk4ITpBDpgRbZXfqk4MR13/t7xnGU0qbmH+/K9vomgJ62LP8UKDfZD8NXTO2OWPsxRoX5czwetEn8DViTNybytPlnS9ivjiGcEbwBwFz8wCT+AqezM6GoCzS8tOd8a/UPDirGgjlr8McmUQ6HynB6zGMrE7QB9eDLlOrJ0dqn7V12j36Cd+/rxUcJlIL1CZl/YQLV0tVe+QR7DVdltflEQixqT2D7Jd4uSSXZC1kyWBOnUIKNK/oIgBAe0TR/xugGh3pG0Pw9Hk6OyS5uDzwDApLIwEYQJxC7+JJaK1z7mzRzwE+VgRn5aLtvfV2I9udr6HZSWSg4NVGRofYQQ/nzBMPT/dhxOWlRiA7zb3ho5bb0=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1753724825

%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

