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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.2-16

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3025419

%ISIZE%
16401064

%SHA256SUM%
22ac21614890cb8c85039aaf0e36d21377fc53efb2b02b1f4bbc7bac391cc58a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAKU4ACgkQeGxj8zDXy5Lllg//UBbwAn8FDCj8iDYV+kdno65vEWZf2orRyfq4ISsj2hmpK/engKzJe/YhDAnTyMyvq84acjKFCPAA0Ko8VPdD4c2v5xKfKcnzTp78MNG1JrmIlbT0m+IcdJC3OmqWvIoMlRUk7Qbuuomww+ECf5ErXWvG1cRN++xexleTT+Gtz/9ulyCfW2pOyrO9Y9PdR44yCMHyXRcUMTgMJSl9bHo1XyFuV6n+XoRDp8ZnKxoC5JCYHyCj14MxYRAziXMItbVVyUL9V4x/jUpZjMK8VdVe2p6YPP4Z4ih8dHYe8pXfRldE3NBPte5pwfwL6tGowbfUeE07Avsx3UIZhTutp3zL1SL6yWgXbNAgXkBEPT/8CVIDCp+fHNbGN+qdX8Zze+EYUf2svDRu18zMLlOV33l5O1UKGbBNRTG4HgP9ZiZ9XeOUs9LP3HlROPmByfjIiLOMB9+TcgsdgBC4Nr5N7/FUIn07nyWHSUOsOPr9vKBhP6GHBgI7aCFNUAXio5r9CjKY15s0pyMpKZ4K9reWGzZjRtHO8Su5fAxpiWQQXLmDIKW2kloVXheaaGASVVQKbxwvJvGTipRmgDPoH72zr27SlhhzSGHSwXuizzDcH6GTbLq5RK9kyLMd6KUXk78J2Ad+4FO8nYaXRj5ghA6JbuHo8+8wCvUvfo0PcQwVGnGPH2Y=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790978146

%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

