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

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.2-72

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4219632

%ISIZE%
23847891

%SHA256SUM%
83b7370117a14cb02d3503b591d3ecf7d96d2adef9f8b5657020b81c470d1179

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmksqiQACgkQeGxj8zDXy5Le/g/8DY9cue7cd/Ztl6XNKPjE7HiaG/3WArKlotRp5mlhxkKlehHFu9kBCyo6hzwh3froWEzVRbSTMDhVswNnBZIMGIS/VF9ct68x98/xd/jQxyafTXx/wVl3EZmhcOjSBSLAGYjXg5fmacxWGUjelLMueit4lzUjj2riCNxBNQIOA3P0gYqEGyT+b70v0oCJZqruEZOp+jUsJvDxwEqEiVSjECHot1cg3BnTlczpFCfqhBicpuhcOquLDOwnZwogjzB4fBRaLmRv86YA9mCpKppvRQYymxVa1BUcbZoXYjgEHDXTzNU3zxG/GuVGU8FmpXyv7Fs9VWPhBX6EKmuG3AOxpK5bHaiW02ZKilw1LcCQQvDaImKo3U39ZQcY6c1vyQVfdBx+ZaPmPzqEWHs1d73QHbBXkIkrwn6ifm6+cQz1fZHQFdVVP3WoTAOn4KCUaZ9y9/OEpagYo8XIg8ITuWmf3BMcPFl2YVAmm0DhDFT/WOjySKpvgG/e3kQPudEqsE5DS+5t+gRX9oCNrvuESInW7lxdgjAbLX0SEMi6RDWNNDgWumJZzd+CWGudpn3qZct00Y8XuNGlEKHfWLIi39OZsQ7RJZriz7iD9ZVnur5JJSqo9iZ+ERNqnRiy+j+j8omX1FRJBTEt9FBrtYzGvMNcxR1T/X/1o5i3m2+v/kREG+k=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1764533759

%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

