%FILENAME%
haskell-sbv-debug-10.5-9-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.5-9

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4840807

%ISIZE%
28004050

%SHA256SUM%
cdba87396b6cf0372b12b9bddd5542aea07075625ed06cbcda8edea28a5ded23

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrK7eAACgkQeGxj8zDXy5JSqQ//SsEMoa0hE8Q/m3GPppLYBLvf3/MCnLVGnd6dhfo/ujBJH5f0vTJBnfy0b2UHa7PzyeeZIUFCXbll8iCdWbBHEsO4njXErW7yiZFoA+h3R3nPIag9ZdeGrQnQppXK7gvxh14D57Dg6aDDczGQhWzFas5rpk0LXsVUp8LoEQJvqUF0bhuDtfOtWidG81fCH8/KT4Hi4n+vu2pqHe8S6ScmIq4sdvyRYuobEmJq4THzb+qmbB713ESo7Ulcnv+pjhmmMeMti9xIpOKgOqa2Xechvm9NR3uz/CAz/21Swtq/u4sS1W/DXGH+UugXToXohDw0wAXF3zaFUlBqN+zvpRcmgPbC4hrvqY3QzWe9h7mKLtheOSv0//kkWueSoSiPn2VUrQtopAk8Ci2jQbXS3AjI6jjPWapFqB9S2FWAQpTBNxRBs4lyTZjYzpBRrQw6M50Hi2Vki0rtxYPk296zX9K1TBN3qxpF/KhmSqp+QQ4IQAG/2o5uOysMN06CPBgyWSavY+nwNDaqWo9KBiPnt80adBJ+ksJLY5vCMX2hYc1RLAQojfLlqEWxvWnHFze9oAPO9tgxq2iQDZ92dAs0jE+Jod7DDEFm/q7gTLLCp3ucBB/998tD0gtskCUhvm3YcZpdKblYHKLboTt44+mPifLjBkiTF1K3GyffPEfaimDalc4=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791682866

%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

