%FILENAME%
haskell-sbv-debug-10.2-73-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.2-73

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4217231

%ISIZE%
23793131

%SHA256SUM%
0da321cd6dc28751a9b03450b55f8eb14be5b7d16ca6e9a1515c88e5ec8d82dd

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmljpe8ACgkQeGxj8zDXy5Lj0RAAizOQffpBQK1rbo+hg/dJQQIDoFGAHmf2yakPe0A8YDAbwc3gPFX/m7TnBK/9qTDw5k9Yh3sYGVeHX+ixkcz8xBeZSEA7jdVIyF505m4tH6wp19xiRZCGWsE/eDNuVg+e1Dcnn0MhvT2ivZ45vSNm4mF11XR3PqEvkIcmiykW7ehwLzYiKzkZWtiP0CqBK25NexFhTQzJmoItLJJSMXNt2HgD/jIAprYyWhrVn+WrRj8kWxwU8OpyrHf+hOkqtax4SMttzsuxztXYpSCmPGdYwk4jG8Ox8rY1Dd1yX0qUTKx02K+C8MZzemOFoVQc37CG73JnVCbK9YmNx5aLUMhhxL/8Cith/b7qfXE860dxDvSp6puZ6ZP2/mWhyPChOLrFB8JaCLPvVowdfrbQdcYEdLeEBENwVAu/cBKEQTvmGw6etA/jlcUekF+GwUZJGud537nBB3gIOv+l32ry+joPSGpeSaJ9K+45G/ePRgftbgheIZJUFDzIqPNYACjRqfA9qB1YwNqn91fKBaKIX7HS81kWDTJdwiUYVXm9g29JTB9LtIr9DFfx/S0Jk0ZTXtLZW5AjwyLFIzVE9lUR1roiyXB9gQR/yjmkuNXvIV6uShs5uxmdDlT7yIdLDHDaTY6xQ1oSarwM59sKhwcowiKJRh6IwMSyKxLlmRryufeFNJM=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1768136630

%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

