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

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.4-5

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4838354

%ISIZE%
27990627

%SHA256SUM%
1928ffbbc0778a8b450930be36bc653b8006f86aade5327c242800b6181439c6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUGfEACgkQeGxj8zDXy5JzbA//YfcoroJevBmX9oxc2FpdjrBPzDwLcFuPn6jPdnAipZW+VXqCTFzpV6KG621pLImh8Y0fG74N+oWazt8wN6qdGCnhiR6BoYOV1QNekmsvtYPHfcmlBnu85HX3fb2EEMjrO4qcubJk6tjgooBly15xyBaUfn3DWkZ1fO3GIhp6JEi/RfpSiDcilE0L6qHyECQvffKsFXqcD+0DVtCTJhLzFW5FgBuB1gnIur7gVX+d3RuIOxj/yqYbwssHCcZa6vjyNn9eaf+SPAEboGbkr76ut0G+XxlQ0UXCHYx6lDsQYPW/Z/0o968sMl5zySFY/gv0U9aKk9q0TflqN6nLdk8im41o9eSFSh66+P44ZD3rbjQ7VQJ3Q+VaaE03s3+mkqqNyYYMsmNFAjqTYS7C9LjTzMh9dCVgWHLE4KodJKy7kt5o8cH7zo/Es12bEmbE8/IJiY93jSKElV9Lc7wkT+xcySrscniY3DyLeROvGAZkheSLYvbHObxwf7rPscJg9G2JxrprrCtO8DlBXXhyOqCjfF9iavFWWk/ZulH3aSKe03mob9mI1Q2mWRqAlHx4OB+0RD5yzSGTnmYZxU1F800iNzc1wJwB8XRp9SnZ5gR5Z5Ef/qjuEGsrmJckgwbbUiBa3NZQTBZeXyBpTW4xiWNDj2EF8gB5yzU6CKlWZAn2P+U=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788089754

%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

