%FILENAME%
haskell-what4-debug-1.3-115-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.3-115

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
5423

%ISIZE%
5904

%MD5SUM%
da0968698f63e9d24eaf11ef2f3e792e

%SHA256SUM%
c881e017255a22a9aa464a7471632bf16d4b8328b054620c9513d1cf16bbdd0f

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmSHMqQACgkQeGxj8zDXy5JM+BAAvQo35YV78FehrMPzodjh7Qe5koEYiEcQ/smX3P/qSA2q1hJmiNNP1Jytw06BZ1GAHpTUdSjZUX4DWAOFOy82hfpYAfTDm2YNq4FOCtlhn8bUVLcTQnhh28orKzTlOZHnOi7NqG8IzDzQyucfuqtpyDvjZF9kqYCnmOYT/EgT7NJsfm5J+pB2JvvyxPDKSwWtajYz3YrepyCdFU4aHquItBOWnOuRu0phgIy+pqiU+yGR0FXIlUpYbD91EGkvy31Hyfr9Q7DC1AHAyxWoLvN+wTTNCQCl01BTFQou9WUxjDMx2GKX8/Aq/QhFwCGnUsmOGkHy2izuuXHTpYSMHnBJcfL9AMtpFe+yptvv6q0oUjLNvxRsFoGgIO4tQP8aoTI40M7SNoBDksRnZ7Orj/grCgqAfN8jFF73Bl/cKW3lDEoyoDi5HuwYnBbMErVEY4jhqYRvTsMPbJdOIrXFPsp129ZKGB1ep2AobWCm7AKCfL+wSnDvDGIt0EfwuyZiaPS+ESGrwlB+GTydENDaDBGLBTZQTN5N919+ILd7Tadjr2+x3dHeUlUUcW8j+VIy/kGeVvOP2DL2vZvajQvHNAr1OqjzBzvVK9gl1aJHQQiV1xYqwLBji5x5ulkg/RiXbEmVKyPmH2b2lsRyfJVsRbnaJJ7wWb4SN+uPVdJYXJ8bubI=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1686581308

%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

