%FILENAME%
haskell-what4-debug-1.6.1-15-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.1-15

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3027624

%ISIZE%
16361546

%SHA256SUM%
ce29e8b759a4012c9ed4baf332f4a93e906501b565b18f6e959d6bc50287161c

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn4AgACgkQrx0hme8KPM/iFQ//WBNO3p7B2TdHSuHREttP33l1CKhaAYmI3l2vIFQKCn12OYptVKgrpSQoUlTzR6o7kel4GiHvsJBe+B7Dnpx4pBuXUzF5UdiLIgVo7BLXJo5zfTNJEfSf4E1VRwVEAVxffJi/GhMxaQ3dt/CeOux0iSRezyRwx5Mt0HbGM9Mr4E0FVu9nrkkhyqq0jnCSs8dk8S551l/Fm6eGIMUdKnbkS6a4WXsj6wwa0d7ER/6e/u1/EICD8st7vCe+xgmVWtZw4GneHdBdV0fAvUQ+72d1KboBq9WDzzhwYEHWMPM67EVYgGXb0C4XZxL4UoIDyy3Iv0ghXe01j/rINpGmK2V3YJb4j55U45vtADTaLFMnlzCHlQgds2sipmcHrFwyvS5OjjGG4Kaqm+U5Ls/672SapRU+jogS/Fk0BahTNTrQKXfTOw8u7GYidD6VYcbr8RQCUQMFr+PbFwRCHxQQftFowM+J+E6b8fqgVS824nXU2qdo3nckCfMWFbBwYqN6BNMpUWJLbRL2tn9INZBMUF5WEXrb2/g307ye6LPtOBz8nXqBz+4y1g3YrBFZcIrqpq2K1DyJC3uho7j3XIQHGRkxlTo+wOFhLl8vnDaL7AVmqiSHRsExEBTKsk25zwBEUzOs8RJacs0xXxJRBvypB/kIQQKWn4HrewvqKP67XtjH6Vo=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1783636698

%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

