%FILENAME%
haskell-sbv-debug-10.3-26-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.3-26

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4837280

%ISIZE%
27902751

%SHA256SUM%
1cc3bc2679f91efa533d348b3a37c2da5be8780618c2ec3c68cc32c99d408c30

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmofBe4ACgkQeGxj8zDXy5IQxxAAkOHTCmaPJ/9K6aE9lHkaNJmzhVKY8ijxQlOyaM229uxdFvTJ/GGVRVUWoNTRTRIVKicWMDm3uF8sPlBEWnaJiq5QcuqUMh9NA4WB9p2SxrUTiRYdh5QJgbHX/Bw5cdma1DN0jxIWaS9Ujt60h+MiKkWbYuj0vhLukdje6zbj9p4TpmoEk4nGGBcx4YSJKngkexH35IPIrdZ9kexwUrfD3iGhtsy6uDnAqm81Yq7Kwp7vLLdMh7oGvEatE/LQYSch9QE76JogPi31S98W9bQuAt9WsJ/DpTj9780IeIpA6DUu5bDzr+6nnHhqRAbiAgZqDohcaS5f6l8jdkhDfrMOPUTTf0N0Bv2WQn/79/1zxLvEnuK1W88lL9QVj8xidBl/CWG85me7QESW0y+3KHvmbEpnhu7CcPGgxZAdcAjbk2J9qSrxjwasQKSJJ37HVps2sB2KI/17PMPw3IGmLzN2HSEEzd0+244alyv7NDW9bIM6M/uEYWxzNIlPRlfCzujAopiAtO+LAAa5C2d1wna5yRVXH+OatAQtttdNo+lITS6Y9yuSTDDxj0v3ddiZWnbOSEHYP/kvoqSlahrBCKZdXjTpChNYzfULySmLAeQJ3iE1CVKRrtLH4pxRwkWPKkQEGBnNeziUmt1T+V230li7oM+B9eUdOiukQUzKStzca+U=

%URL%
https://leventerkok.github.io/sbv

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1780416494

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

%MAKEDEPENDS%
ghc
expac
haskell-tasty
haskell-tasty-golden
haskell-tasty-hunit
haskell-tasty-quickcheck

%CHECKDEPENDS%
abc
cvc4
yices
z3

