Списък на файловете в пакета cvc4-dbgsym в sid, архитектура x32

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