%FILENAME%
haskell-sbv-debug-10.6-7-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.6-7

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4836751

%ISIZE%
27943178

%SHA256SUM%
78dcc6bb3e22efb25f3a9e85fcc3fda9e339ac86fbd649f72ff534ab5e367813

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrbOwoACgkQeGxj8zDXy5IDURAAs54ceLq5lLYl8e9ZKERSbIfWhg3Qhvu41Udm3iQrgi2iP/N4/VyPHoRFjKI8jr0zrHiO3YOoTrTYN0PDnGM43hoIRLKhgQ9HJ2yTAzt9x0Hf4+ygEYq2l1n2cZNKa42blXufEiw9FywDjuMENQ4vp750IAGlnUw863DzT8UZ45RGPkkD/pTu+RHg1TOzQKNLY76pxQRCeXXJHI1oGAm7t+mxmgIxbXC/xjxycrZ/SlzctK2jQe3BuOZHzKZ9pkOu7Xof4iZxB4tveCNR2n2LDI5TQ3nuiF2sn5BL42ZsO8U/sqOROqqFG69QV5Uqr7rwDV7l7cqZWost2A1yPblEpfI8TldjcMdZqOjVkVre58TSwTTE/xFgZbElsUXX9gjjFub9tpghV4+lP91u6QNU6jfJ3aPv6oOt0Vau5uDcTNoimHWyaA4DOj9CvHJDlfelgQuQLQ2eFLz40mWlqcG4ZqZMcXpDZKaFAK0Q2Ud6/mC1BlNbK4Xpxz0eLeMih9JNgJ0pFd5t8l7W5OB+9xUdWwgutHoScLK4N6zCFMLknjS/9RwJwXb/M6pnQT2DydV0JHYceZ56LhzUQxcz07HqJtDRwZWzq5yPXtOw5sC+YJbN9cw74/Xo7Zgr/TvoTIl/PziWrTYphgIkroRJMxLDS/wEkYGm46Ozth+tMoD870g=

%URL%
https://github.com/LeventErkok/sbv

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792751397

%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

