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

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.2-68

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4564555

%ISIZE%
25704011

%SHA256SUM%
69f2fdd27a752ebe92960384b3653d81d03d73586d072e8b97bf35d6c0323402

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoSxAACgkQeGxj8zDXy5JXwA//ZKRH9iTHdxHOVncuWFovBBzfRtamOc6f95MD5xynrZaNHVSCHel8nqZFPxyDJZJh1XoANn+4llI97hTUOlI8wGkz9D4xS/wwUSPIe06blJuC6qY62o1xtGp6uFOTOtraJD36peSXbCELHykmZ4fEpmLxmqyPIcErZqbQKgdJrFxDCiZyayU+aCO/3yaKneFJf+KwpJJq3ng5Sq8N6Xro7KDcW48oPiTKQzdjVJxrr+RcsL2+zxy41azcNhMW2qpsaVQqMEUy/KagGaOfs0EJTVfSlwGYQCkJEiCzEBSvLGXPosv6r4RyEhVCFR3dtAK21pONpfJRwSIeqGHCjpi8TLdk4+EGQm0yULLRrdNgM0US7mvANN28yzlKtMTDR+CEW/zlogz/s/IZ/9t3kQoVPyiAfqfkRKnpXvE78TFz9DwFtHuFwG5BolZTVhQnaPGIJ7LS+bLKmoKJRZQMyC56GvlyamQSySpi1rNe7s95cOkK0EqIJwNbOWZYckCmMmcO877/+e4GQPfCk+GtB1Sz/CtfMg++FolZ/HJ5kMmOHoB/pUvNrCq/HpwFACpwhbMEC6TmXRey823vKPruihOrm7RxL4zFravv2cg3Cu0NpVnqZBzL3Hg8kcWi69IqATwo+5DxzvI1GC/RWcUQBQKushtGvBno/0IbwB4quukgzIk=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1760053038

%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

