Список файлов пакета cvc4-dbgsym в sid для архитектуры alpha
/usr/lib/debug/.build-id/c0/5c04e008f419a0071895d3199b2becdd4eb791.debug /usr/share/doc/cvc4-dbgsym
/usr/lib/debug/.build-id/c0/5c04e008f419a0071895d3199b2becdd4eb791.debug /usr/share/doc/cvc4-dbgsym