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

/usr/lib/debug/.build-id/db/6134aa35ded900a8c7fca4018e18d8d9e894a5.debug
/usr/share/doc/libcoq-elpi-dbgsym