%FILENAME%
haskell-sbv-debug-10.3-27-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.3-27

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4835928

%ISIZE%
27827183

%SHA256SUM%
2a339a242dd84727b713803cfa493d12cc4d38b649eef7a1cf1439d0da1892a3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmotyDwACgkQeGxj8zDXy5IUBRAAt9dhKcZ5TQeoyK8elFzLZNfG7KqE+ggJtpO4WjIY8qdRRutR/EhJ9Br6hr+Hi96JGL+Oxf0ZeyVa/eovOq/j1EwGaTxR1FOykNl+0cZ4pwo6zpr8bAJNF5M1iLyxIDrNq6Bo2bNIPHKXGGbX7D/NcdBLNlTKxUL9D3M+6jgw9zwsDEbeY3dm6DxumInQiwok6EWHxTPAlBlBLaW0WbZImzVDkvV/igMz+jUILXo/XLPTlsjcsPYEEvTR7Pf5QlzV3tnuomSyYyLD+AV2ScKnHYJwLkHqxzeIBcQGO46slE0+Vdpx00AhRghaan+Ajb3I8bT6T22zgM4hLTP6+XvkmR5ApI4Pbg28Wjg13nbiHZXw1KPje2eIIqr1DUilayiAgJUfcA/ZluMN6o/XNrtA5mIf+dHV9U/hR59bsmOIzZ5HuLDwR+xCet7WjBkSp/kdjo10xcqxas0hiltwJl7gYVIMr2NJu+BWsjetdHRreK+6EJTKwHAkRIAebq6byG3o3ZsuVEN9flfFDd/nOZKZ0yB6J3AGrs48yw8EEQpXB2QTjy3NkK/ZPqehRrF5Cv8GhtM0EvY1g6dEmmN9lorQjcFm9J+vAC1wBVXd6kt/Imc5ufyzsT+LaveYjlsLrE6KJRwHBULrYtfu1UJmmwNfBxE6IY0v6dwP7nqyKbscjfo=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1781384173

%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

