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

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.4-8

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4837347

%ISIZE%
28066459

%SHA256SUM%
7a5977540a8c7225c6fdd232566fd378af25ac579e2aa3ec82aabb4f1c47c0bc

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp7KcACgkQeGxj8zDXy5Jutw/+Op7+5Ch0rx2yq5s/K1AeTY1jgHjGBe4kxCTvZH7wQ/2Y6XZ1Vp9Ku1gsE6W1gkTXQbABHhFigguSf/rHekr3xwH5wTK/WxiLrbVCuMoIUweJZ24lrrEJg+Z4lJ/rYLN7Rsnk3DmcaeHyigMNuz1+GyP/ZsfqanMfxAMLgxhe5QD8f4xZ8toNgkgxUp+rakhlAiYNwdhvpZ3eWG5sHh9KMmpl4AHCZSJL+VMflfoj02hOBjUPcw/mggvJ0Facf3KSYFctnhssONy/WFAzSehvtFZdKTgmlg6wkRYlVRIIizEsESJhX6LIO2eyETsfWtork7G8FfpstKqNAxLFsYlmtJeT8ZicAIhlMrL6Y3oIJaDcZU/tOOx25QtvQn9ppTyLJD7HtrLl1NiFZykn2v/XwRbN+UiceUgvdWvTnbdsBP0EfHsWZR8sfnN/63Yk1Q04DjgDmbtPlFHh4xWxuc0tk1Kr7kD3tG9w6IBeE/rrlOk8fOZ38kymDInaD0LrT5xw1vL08A26+EVoS9Gw9VVyPBJ1djE1EwOnqvq0uKDL608crjo1+KFKiYeYdqj77wAspvpyohvyfhajZzAKX8QoGltu0gHx3fEERRVSnRsFnml5PP5qkJ6iIpGxHcu/8NRb0tg1SOEUUPpL07O4o+pcQii/kMdxfj0v5ZApQdJZRFY=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1789520065

%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

