%FILENAME%
haskell-sbv-debug-9.1-31-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
9.1-31

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4515

%ISIZE%
2848

%MD5SUM%
0d20584c08c6c172576d44c3ec8956f6

%SHA256SUM%
369231f773dd92eb6ef930b5ce47d3f7832a2d1121868d69b5218e5c89af64ab

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEWAACgkQrx0hme8KPM/zWRAAtCTU2rptIh084gu+gYe9hUwBd7jcClUZ+y5wB9QKhBcczjryyW5chkAV7eZ+qfpjTFzAZlm3Q05alQ6aVOUpQU+lvrPdohGHX6alB2Sbx6u6GLHx6kZzPDwBF03yDPFIM9Oz7O//rZ6dgNMqOBKgw+NCEizowmvNTZbVOppqlqsbw36qf4jDgF2O970oGgMipmIw41aH0dA2P7Xkbtig3sM0E5CDia60JMSLq9wwsmRwK/GEPxkcuz9NZ9O2otvYF23XPMfJuzrrVmGfcJ94s71CzwcMT3EDZpyjfbQguMOYA5VIfCCNRf8tKEwgvpZKt+PAwSJQFDhV/BeyLQo0SmYheGW8V5jSicfMPFKvTMxKit9QT8iN9wh0/FSPw8/Ay9nyGKfpczCjRLTbKN/BwNIHCsm/JPPwV8PILiEE//OKYz/Td3haGbXepdbsFWegKzSigZRr9sFTc4heP0x5VRTkeVeDpnH46xPTpvPeSv0QltyLRhY1KaUsdiSNg0NgmYaoMNEue7fP+5n0Vl8m0Q4Z+OLgej4MjQbGqX30p8fZjcIcBmUVCigEIoHhQ3CsrkcWiaNEb8zoV1/hHGCD9uyzLlWKsjiXKZR+YBV0Oa/vYrVe6m93RcbkGuyYkWDE3tOmK/x4/Hi10V2Wvks+oJ7cpCySkwlBuksLBX4Frzs=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1707864240

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

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

%CHECKDEPENDS%
abc
cvc4
yices
z3

