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

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.4-2

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4834763

%ISIZE%
27915003

%SHA256SUM%
4b62939f708ccf705bd65c4f3b6cbfd86d8e70e968e8f0f3062d43d828e3d616

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn4AgACgkQrx0hme8KPM8ZfRAAunUAxJmm7be8L4zMgWekXV5d437DoOfIedLZEZLCA0egmCpLIs/99zuJLagU1TLQdlwNhJc0u+F4J5GDi9YDiHyVzXCuKzc65Fzto3p3LXUYVmvhTq+8UT2xB03XpJXjXpjn+bIP6N5bKa9MKLJ4lQiSAi8sl2RJPZeulX2EWDwpEp1ljTi8HpRXyjGir15QZiZ2WHe6ZDpVEqwXd+oICxS6flZja56tvo7G2KUxw63lWmpDxjdHj991dIKVCpEyE5No2TKrPcTUoIV4BPRsxtp/SGlCGccRameI+NKzN8iRpjpDvxvSrf+JITnGOH3K0qSjkeVfaDdnXNEcuLY95YyAll7c+1jvbs0D1IbSOYBBtAcJMZLbTiOOWU3mBic6aRS5sC3vwAigl9THoHvF+RA5vRCT0Yoe9ESJEH1+ICubkDCbfer5fJvFIzh3JiR9gNf31tPdEebbY1vZY+eN4xsEIvP+AsvaT41sHHP2q7UvSeVQdftNmG3TUNyKnZ/8GuvRYSj65q2uV7z8Bp3H9Jei3jois/AC5P1qlAJ8XPik0hohlE2nIu+tj4mCPV37QtZhYzUAhc7o+TC+J6BGubBdfFCDT7Y8HIt4RXFi8NJY4vkxb3pAaFmBJy7SAX3vx5XPyJzja2Tdh+DIBYv4bqTJj9TOVJBKz8GjwBgVCYg=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1783015603

%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

