Lista plików pakietu libcoq-elpi-dbgsym z gałęzi sid na architekturę 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