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

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.4-7

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4826192

%ISIZE%
28066355

%SHA256SUM%
d0b4b6a661c71f0619707ca73d0a7b0b173358e9c1fd935c9d31bec95385740b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdayoACgkQeGxj8zDXy5Lf6A/+KHevKlcuOKLw4kyfzSTkjG7vSbKvtKLxmJPVUfl91stB6QyFKTWjJE1XTZCqgK2ljLa3SzHPirhrcgJtXs7b2DxomW/tN4X2r/8nyliz5OHho5mB9t2Yti4p8ft4DmNngfX8tfSNHOiluHQ1XGEnQxsw2INfJJf1kEhKYyjX9dEPsSlJBI7vnWtLvg62i4j4H/NvY+exmqY0vhRiS0sxTc79VjhrrRey3Um+6x0Yt5dTVZgBbw8K0pmvovmwAWVFf5X7HikEgbZOouVViS8x/6JtYUmSbVPJOtauFoicKmlkojxeb8TmTAsVJUxNHfQksNr5whxAxjBVjNBeSvY0wmy+AXEcKcmXBgV/6aYvgeli2h0rHSNGfzTkmHeRlvTcZln3tiHbzQXOWTZbywxSND5Hr0MGA6fBQ1Wc1urjmZLgtff9lV5xQIEAmO8UIFWkfVjdp/2LYt+S+H/DZNphsFAXdusVdmiXLp8f3JYbtn0Ru+gWL9N7WnJBrnht8+ek5dQuE/Kl9iY3VEybxBlpKxJOfi9+qhbzS1UIRGyztvbavIxfxPhXeP2KRJs3bfDu1kukb8Kkhq6xkh0CyiqMGL/I5tbEBsUE10wzLGyx+kLbMl8ScaWB/kiKt8oKrg3cHy/k6x59rcuhOgvJHZt32HGUrl50+MIRAzg7EZDAzEw=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788699956

%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

