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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.3-13

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3026352

%ISIZE%
16361847

%SHA256SUM%
3c8c382e6163c617c5df89e1f045c88d098fd1f93cc359a4115fad3e7e5ddc5a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZUFEACgkQeGxj8zDXy5IyuA/+Jb8UyGrxkVSw/rbI5ANbd3ebzndCqJmt+mILgMeijJGKGuLVbFHpr9TB5d/XAqBnsJmtpvS3jAX59urT8PV15jGVIRfWmu8LvqbTBw9a/JWNdW4mI5oc47sG4BtY9aLVelIO6YJ8FxkjYxwTGA8OerIeximhFOuum23HH2aTYV68E6Ws1uItEUNusyCSziPGJ+NrcqgiVzhcOYbxRpRWMrzUJRpxJMi4+rgQHNB24fyUznkYmsipW5wlU9unHS0jbCJP3SpAWyAmgUljdRutXBFRzubyTQz2uFWE0QV8n+z6Q4SE4fLLL1ZZKiWqc2qutXUONEZ7uzSb7bjw8Al27JMDtCuTXP8ZP4NHau8eD8WM+HYEwhuMVsNLYduDx/DqkIXCZ+Xn/38/S4bOi9Ci6YrONy/f3MKd5o9CvghbunKvV5Jf//TL9OyYVSYwHEV1I49Z2OIM9mV7gh16sp+ZbqZOsn8++c5dHHfRT1A6LX0uGHe0f9HjswIUJ0/0KskfxYKqdSMv5OM8SYvc+BJs9oEH54Ynb9R3d6MT2hFc5nti3zpMQ897I1UsB7tqi5L156JU/hUByhs3zi7sjFrM74SUlx2vV9hg5iXjPEequm0k6/x6UElF9+leeilOfWFsU3VkjGdnCvh+tcO9l2B/1Fq5ObywQ0s6cJNHi9IZcBc=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792626499

%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

