%FILENAME%
haskell-what4-debug-1.6-64-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6-64

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
2727790

%ISIZE%
14553168

%SHA256SUM%
d6550b8b699d7827b7ee331d13bb85259dbc246fdfd625ed034543de1f377a9b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmksue0ACgkQeGxj8zDXy5LjzhAAmaQEHwWrKZI1LavpPLdRoQ1zNxm3rdJoDW28vx9cz4ue7gg2hdR4u2F0BYziU/1cHk52stCIHRUGT1dcaPwx2r18vNXkrouSO+nq2ijnPTiNVhv1nDNDAXk2l25DH7mY3lSNA1eEL1qLA5C3H5uPCqLUhN3MxM/MTvzgaaawgJ9Qe7E/KLVN6xGSFbmbbZBz15EGyND9O5MyztIKYQ/OGbAeqBL+KT10TxnjZxvnzlBEMO7V7YOId18uEF4PpynNcpH1FFCqdGWa50WvvQVLhFZA7rJd8yuutthbio/VnNUmAvawd+Zlf9Jm8bruwfiTLuzSoGil2V93Mo7KpWntR5f3OGoUm/X4m8JuKId0aUP6Cxt7x/DjP5mK7eYHPRJWx+eoM3/01pDcHcZWPRvmgRyeH0Sw/Om0ZlJ8QaPAHBBxJOXcjZAO6hJILXSHMZBSu2bijx6wrOq8+SQBM8QTmHtD4jOdSdOHI4osaAgpqC32E0CDkVnXgN3VUhXMvrH2uJoZ3TPnRLKhfhS4s3bVei8JWANR1bgVNQktTLZGyWGLelhQLx4t/XNOHTll+i9KK9VWwd3C1Okwon8dpFzDYp6pJ4nMysoNdAbEVjQDemrYB32EmRWdvIJskRE537Wm1m6jDxQv6r7NVbqXKbwj6gHm3FA2Y7Cbzrt0KXkmwxI=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1764538383

%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

