%FILENAME%
haskell-what4-debug-1.7-1-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.7-1

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3059104

%ISIZE%
16410854

%SHA256SUM%
efc0274e0cba2278e07570c183a244940a64eac9c8335faf9994aed3fc57bb35

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAt0ACgkQrx0hme8KPM/AJBAAupv4Kxu8ZuX7MBgKQSIRxAT5LkEJ+kxDGo5jgfEz42Pig5b9jtEcPrIEnhm6Wt49Ct4/q36oF6y5L6eSyiroX+rwNwSZnPLcyOOt9Xr4ZACsGwGGzb5ka9QWvMWozWhmvRbfhtqXUbZjQOfAc1ILDZoZCXN1dOvgbaLxvdzCWK8G4o03uSyrnr/WDFSJQZ2pO8H76VYKyFNAlbSTkJafiWZu8J8LsrjOYFqPG7J4KSPpG1Ek4bFxzzldHAmQDfuW9O3HspNstIaqDhgciP32wO7exJY8oQ9LA8yqPy6pxHnq1SEHfRqW1lQd2lbf3rmBR2tTIViDwA/b1kP9GZxIEU5Vk0fJqfrkfVV+79paPplLNEwAPRsnU2EbfhUN2cMFsIdR3di++Fv4WSRfiwQPUpBVSmaGAgZKebhjfpo/eH4ZsSPgkGqfUcYnbQfSpJUsDBOMgo1j5mOI2aj8I9SpqCRVl/gZLl2KUBIzTkX97C0y03bek9669xIgwwJyT3e5bzpn4Cf5oDSpZ7JBuPB8xJQgQ/nmqeknVhOp1NP6AHBz/IXV5lJJz6QTtCOMvLZXIywITccoPh82MTWDS8jHR5QScjzDOTJWIiq6LLangsBZKxkaZWDSrLCfXe/PooMpsn7LLpo4QYg6esD2aFdxfNeCDwGGlglbiRYjR/srQM4=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792810089

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%MAKEDEPENDS%
ghc
uusi
haskell-contravariant
haskell-lumberjack
haskell-quickcheck
haskell-tasty-checklist
haskell-tasty-expected-failure
haskell-tasty-quickcheck
haskell-tasty-sugar

%CHECKDEPENDS%
cvc4
yices
z3

