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

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
9.0-47

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4489

%ISIZE%
2848

%MD5SUM%
c46a3ebf19eb7768e52068fc52e2042e

%SHA256SUM%
2ce31bbd16ea6c42621629de2f2d6ea369e4f328c70414cdd815bd66f49c7ea0

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmSHOjoACgkQeGxj8zDXy5JxPQ/9FVvh7ymNYtHaarweXq1xMXf3Ota0yd0nxMKvDdBzIXBzYoW1Xw+RNUCMcIy61bE4mmG9fmXRvYloAaZeX+Q5q/BXjdsDTEiiVgCdI0T1gBP4uJ/1i/6ZGg/oCNkccIHUbbChXV2LoDJJxSbMutTRDw+IDzNge2JHgb3NpSQMM45onZO0A2omC0XDLU27gRPbx8QhbdZHaoEMncFypAfIx5P6weiwv1Dm5auijZdQ1dg3+kwQfyt/vYkOdhaIPhzuQ9599+f+3VD7C0QfdSTrETi8oOrIm6xe9zFInRkfcFW7KUfba6nSwMe10y9w96Cr+Fu10EWUkc7HvDqCwWE2gIcLhiR/SUSQEjYP9kaI3W5VHUWfQugYVnuJIsQJ6PW3y6QF9iI6JIRNLmclCKUVvcxWFryg9yr3JjYV+KVFtKQxeQX8CbyeWi5lFrel+HQBktcPJjDQEd8iAHgMfnLfwO7xHO10AAxTb4UToaaK9sOr+h2q5E64U2AFQTHQDqsOdn9MgGquUGq37YzHJ3H1m4zRka5ug0cniUITkFG/8g2JuXJnMGjoZbI/AhYo9xXJOOkruSIMt1ogQzmwcXsQa7bIJ1vBuecGLP73T/iB5UDmVamGhWugS4+ObuVUhnxLNH/kWJ/mjHoGRo0xsbUi+x6NJCtYE06gdgmn0v4FCto=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1686582493

%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

