%FILENAME%
haskell-sbv-debug-9.0-41-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
9.0-41

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4474

%ISIZE%
2848

%MD5SUM%
6928be0eb5893cf32914fffe3d82cdce

%SHA256SUM%
7f0aebe1a639045325895c702a8e684323ae6a3e9360604d1ae0763dc4a892c8

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmRgFl0ACgkQeGxj8zDXy5Jx7BAAtEaho4qPLViKK8kxe7hAukBMDmOQXgknp8lKcKsVFM6K5bjrbr0yx7CBaL9P1Lz/I4MYZlGjDhMvgnBOXksqe3s1ptT+jEHXVoVYqLipQ7W5vpBb6NqI4yY4WQC5o688yQC5Wm4nVT9sQOsXtkTLWN00U7x960AYGJhva1GkV8bwqQxnfJ0RfY275EXor+d3IcdsVkOWdQfMo8HSQQwdnhbEmySsIG63a9LkePTXmFuQy7iDjeIFa4RmwFUWpWoSWeXSN9fw7iGzU81f2/oZiRhS+GlweNPYYsFj1YJFNqGsiDF+EsNxW/OJdNNe1LMGbcI9FL2rWMM74OrAztw57b37VjxdAjCPoWTAh1b8Bei0hkGmkmRNLbbE++EVIjvyz8tl7pbCv6ZcYK6q98yz+/X9L7tA2fuklit10hUVLB870cAYvBQ2c70bJ9UQ74jRhZn5P5//PC9QXN6da+FQmH4cFmoMvWfaWsBFC9kenjJBJulkus/8ZEOzkNiQ2CtDy/06NeaJmlDfxErvUIFgCJG9yQSzG7fvzTGnAlgTijd/ffjk6gKs+HGMx78wq7UZGynUVCmO0Yhfl/cF0FGMyFnQjd8GYRpMoRlso98ac91FqufiM7YEp3iTw2tqck6VFoN5O/icaSDWrCk0aDbUFF0jCKPdxf9Atlg6Uak9NTc=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1684017406

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%MAKEDEPENDS%
ghc
expac
hlint
haskell-tasty
haskell-tasty-golden
haskell-tasty-hunit
haskell-tasty-quickcheck

%CHECKDEPENDS%
abc
cvc4
yices
z3

