Списък на файловете в пакета libcoq-unicoq-dbgsym в sid, архитектура riscv64
/usr/lib/debug/.build-id/63/6adce9842a275e4453c46a3ea304de3ff012c9.debug /usr/share/doc/libcoq-unicoq-dbgsym
/usr/lib/debug/.build-id/63/6adce9842a275e4453c46a3ea304de3ff012c9.debug /usr/share/doc/libcoq-unicoq-dbgsym