Zoznam súborov balíka libcoq-mtac2-dbgsym v sid architektúry ppc64

/usr/lib/debug/.build-id/08/bb508c00275ae21e6ea1e8b8f495f7480f61bd.debug
/usr/share/doc/libcoq-mtac2-dbgsym