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

/usr/lib/debug/.build-id/a1/a8c45d6cf308fe75695759afb2361f12606b45.debug
/usr/share/doc/cvc4-dbgsym