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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.2-17

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3025325

%ISIZE%
16362664

%SHA256SUM%
8b829e223db660f4d205ef4388ec7db216ff070ec4af49da0f7da60fee85d22d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAXl8ACgkQeGxj8zDXy5LHVA//Yc8AsWxAHAJq4RmJFJkNlUK1R12qt6WRMgqRVlwR87AW9vMfq5ldsYVs6hk854/xkuvc7XcoE8xteBDVEQtd/HcnqS4OCsHUjICUS9/htS06Hu2FFVaHg50m56Eu6lNrpgVq8R+mg5dtK+X2uNgKXUSg1MAf9oOJnZAyokVdTRZ8u9cWd0ahziMr7ZEJB+6fC/xtUGEuHPCW5+uRPZ+ctra9VVEldBkAfeyCGrhN7y436B40L9KarYJsEx9RUCYykKHenpLdNEQEX2QBRoMlhz16kX47Mp60zPYg2RrKIxvBV9555/NgQoRkRrtV8iL+nWhkPpko+hP+hRMzsl28LeD4PfHjZIcLgziDM5Z8K2EvAKwn3eeZRuiVfPCk9svfkoE9D9F/DZrV6GAcYQR1FpSJ0+vSAiWbce0Iwbkpo05L4K7pcULbUJWxlyv76xnsZ/55c3+tIj06GDS6v0YZibcXilr+7isI/Ic+31ww5eVG6VE1VFVpiLKsCyghXd6GKQZROA/R6L8b+cj1sLI1/heUMJiA45eGpI9i2bBhliXSoZIzvAVSwZdRmGyRMA4d+vWdTvM7fpSIqVnjRxugN0H4UdB44ZRlTybekrypTw8VMadBOv4kjThn5HqI2VLwDjwfH0SillIyTE4n0nd5zV/g2vs3v+Q+VCiKgbQxXig=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790991808

%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

