File list of package cvc4-dbgsym in sid of architecture alpha

/usr/lib/debug/.build-id/c0/5c04e008f419a0071895d3199b2becdd4eb791.debug
/usr/share/doc/cvc4-dbgsym