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

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.4-3

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4833628

%ISIZE%
27990635

%SHA256SUM%
0496519010a2a2e00b6c2e98c45f812dec1a46bf2a84f07338b85c576e5312fd

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp6jn0ACgkQeGxj8zDXy5IPfQ//cjk2EpJMnjwubdCLrwkzTIGFLdfODYIqPDJAbiBZkIuFEJYKtVBRWYOewyQBZkWtcx4tYzWuewz7lczkDRTfPYJy1lPbHkhN20iOZGxi7gJSFlQTU1y1qyKsAH+zFplFvYpipkpzuHZ08q07tPOzFknJnv7kz/3hz/K/NK9CWECg6zJTcJccobEAeOL0HwmptjVe5eYWGhQC3oEqkFieKBuhc8KlQ8onoD7dw29n+j350fQ7Ka1/3NPT85acwdeubGlLDCC9rn4bsKaAwssBMRcUznUeDYQu8ZWwwE9zbGwOPzRjBF68UXwrlkXhHsaQbLmqfdwmTdcodDroDmuJmIBTUVawXPr/8PcwWjb0S/8ZODQWo6/g/8oDNmWGlX0HdBvM6oEKSI2wXz/7Iw88BK2qPVqNZwNNJjBqa33pCZuP00xzg3qJx27G3OPCC3m/sMpNhOcbzjXg4rGAFVRuOB3MfXKGRpXiydIS47N0xUk2tx6y6MF5ncqZ0SA/b0UUJMM2vSGBcH6xObOq+gme6JXIDg31/+JgPvmE2qKpht/mOg1LAXwvBnWZSDJqTtTNPgWIdU4vaAHzI8Olg5hKZGSHOPtN4zYY+tEWUS36dWSDQplAL6zvST6VdYm37xK3EBMKx6Rdi4eLrBmCPMvRH8lgpE1BBwXEzFLG561crzQ=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1786415695

%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

