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

/usr/lib/debug/.build-id/f3/296d8b35a41e05e9cc4d6be132df368e81c959.debug
/usr/lib/debug/.dwz/powerpc64-linux-gnu/libcoq-elpi.debug
/usr/share/doc/libcoq-elpi-dbgsym