%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3DIkACgkQrx0hme8KPM+O1hAAh6/5gZnSAtJbTU3ZwEr1WyVJRqTGOhrhBuCSSX8Txr3qnpLgsq5sedjulCrfVJyQZugUDie64jK1MnAnZ2baLWyJi4xF2mw4IQ+WyZWnC51in2sP3S00mlTVruzmNlYovgn67Imekvq558NKbnPfflMko4GvYj1ZWrL2krrKEjn7oqvdvax2R95WSw5F0Nwq33OPqnnVvOQRomK85bJ5KnPf3YY6AHFRthgjcsq5DgSniG2U/TOGO5b+g16yBcHBCI0c0PbVMuZwtexBvlvFF+g2azkE3JH3P33Gf/kzESThSPVd0Q6eXzGeIyfw+79gccgVcM7PbtHqJQMScMR5hRnJtjYf4eZnIe4qkRtkKKkKdublUfVx/GdCQqSuBvJTUb8LmwjZEbAhwGQbfsPwNHAxlu5xfyr4V6EW028LYVcccDtKmu2obBB5sMMo+j9XqR9X4qNLeN/C5mDlLeJdfLzI71Z1Qsi9U4EkcyhCqk+PaDF8izUTpZzfykIVq15KdtUZNV+ywgaH7pOm5IWOut5KJjn641JBB7Uemoh29WKuRbz8zwRaGSw7z63Me6dzU1a9h4zhO9tZAro7DFhQDVixreDmuwQsvtGN8G+cBSJK8FI8ybKAH5wnUX+IvMjUsicrj8jWvvE92yFhKrPdKjA8CJ3wVNXfdVXYGmByEvw=

%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

