%FILENAME%
haskell-what4-debug-1.6.3-5-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.3-5

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3029068

%ISIZE%
16363159

%SHA256SUM%
9248c831e7ef1353edd9dcca510a87f2da38311e9f747adb4c807e58bbf399a5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrKrZgACgkQeGxj8zDXy5K/Eg//eWUu6sB89GSWr3UnwtS03JByWALNMEFaQxXrjIsJ0V7jQL2qOO9Ki9LCVhr/H8rOFYfQ8/GDcRflGwR0XNx/FiSqZfuCIejstx+to3Fca9fh1hqTJ/W/wTqoYRIihSyW9SgaRM3zfJV6VK8F2TfrdJpYyNYa1ruKL+gCtnftUeg3BRSeaPxUclS9VafnZ7O05NFFAgXRfY0GBv9D3HDo8l96gnNm9vLA8TleUzptAD+R301Fu97F7jHvc9EIV7PRT5rpFEjLfFyoLGyPl4/W5+mOZPhelSWm7NDUHRljdFan/az0jhSxJvYpui8V4AhvnrY/4BKclndZJ74Rg69nVoM3Z6ohzvx+oHeQICKGx93J56OiZzFinQpeciZM81XH7XDIrcVfvE4/b2QmolN7rZ+VTJMfuHdAHqoF9VAzrMUArh4WD48Bi6F8ZM4wHQ9RhE4F2mJ/sT4GKhVxpYSUNog2mSSGAav2I964L0z+1uJM6BdCFq2p8ju3O0Iq1oLJV5pazSfD5/Dz7/MkponylP9W7A1EsuGpTxzDINRRSHSedlXXfqAA+swguJ9T+aFwftnoFrJ9+D87x+KGaoLWYkMEFqltJ7hhl6k7La4p3pn8DUZ40+RSym/leL1gkaYfK5oXeSVv8kQIu6knq5HTIZR8hwJRPxOMyZFnmgX6X28=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791667483

%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

