%FILENAME%
haskell-what4-debug-1.6.1-21-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.1-21

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3027120

%ISIZE%
16361666

%SHA256SUM%
14a8b58a6b361de7ac62b0cce6f036f1d4e4d4b69e4d6bcd79b14f957b766442

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqT7EgACgkQeGxj8zDXy5IQCw/+PuX76twbtlw/ZIm1+v+HbDHHQ5F7WIojYXokmWgSIdDhGUKrQacG/36nPxK95m5GdEvmmCm8wM2jMfDsLe3gpht/KCUcm9+OAh72vF724xeA/EiM2nZWZ2vcBMMJ1r7kE40zuowEN6VdzLuAu4MHfODfQK61wbBrgqak2eVqogIR7q0B5pYfyu8TMXtSvbmya8QPep7w04rujt6ui3KS2r1Wa0Ft5rxLXCDB4fwbspD2mg3/0zc+R+7T02w71a8ZLmd7zUtEpMg+9G4NqFnqA0F80EtcZ6LUe8f08tiFtP2gECAZaQ2Y92MwR1Bk25/kq71WUTtLn1wITkWR+r3+yL47yY9A30UHgfbHBo8Nyq++hgVpTSPEuydQ+W97Ik70V68voLvK0gFgiUw1lUd/ADsTEs1rgab01Of41GxnyZsa6E3nSmZBpQEHTWKA1szGauhsJUWKSTojU2IiD8YQ2pAq1OHA+2J7m+eSQFjoZxmhG11NP275j6ep6ags+uP0VPrer6fGxi3ErtAHFe7zCSpGXbNR50GiI0Ncbn8sPae64sG9B0Z9ZIsO6i5Sbp5/COv/tQ24xJQYD14TdLSC16MF98f6LcgCQg6uVnzCYraJx7atYgpNzxXpJTVwYQb86IeKlcNOYYw2UwKgxuQ+pSLbFjXocmXDgsoJNQE8TG0=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788078997

%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

