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

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.3-20

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4825609

%ISIZE%
28054255

%SHA256SUM%
786011f7bab7fd101229e5c23b540147ef1cd2e4ea8c743285d6074b7ae47155

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8NbEACgkQeGxj8zDXy5Il1w/+KZZSlWOwCAqTiZjC0VByeOmSowfHcx2P2aH/gp8g2zyj7eaonBdTltBxGFjBnCo9x8t0uv/xaLfuVA9CVCgnbLIMQKh5XCiENTS47qT7iAT7vLcurAa4Wr8c//c9k44zFtIAY0CUr4SrGjIiB/YhXSaAPGOSWUgnwOp+5cTuG5Yk4b7wPdUocKxsRJcdt/2S8zLjpFM6eBUXkWD3oQQTSYY4cC8mXqbmpR82vyQZFOKNizqf9dPELGj/UN88eVEk03Cf2DMO0EtfXb1Ugywb8ywANrSczntBX3ZRq5U1ut0IGCPYxEmmUGtozTOwiULCaQU0aDENTCUmcHsGH9Ie0aAKJsFsLte2x3A4iOGCnoTFFUdFBlIcgR37spryOhPy2ieh34YTM3zdSxLMQDGaA1lflGnVL9ml0oPPE+yFiQ+p8D5+grr7B0gAeMC4YpzYSY+Uj7bCuZNFkgbxMLxyI8s4yjx49bnSg4SvBmUb72pum+cRLgFLe6pu6MgL9i+yF8rllfHeyhIkm3fZrOfEkpwIb7Pkxt4NWdovunXmd5QqWNJ2T7zqjFLZxDZCx2JU+CLpjTwQuCFd34cqE4E8O3u/GhUuQkM4YVcK+Nnveai+QSUS5wnck7LC+HtZ3dDX5Jk2ydTdS498G6QiPtztP2WUeHflbVyVQ7lqND6OeYI=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1778135863

%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

