在 sid 发行版中 ppc64 硬件架构下的 coqprime-tools-dbgsym 软件包文件清单
/usr/lib/debug/.build-id/75/fdc72a4f1f6a25379670b84267a8f12c213f53.debug /usr/lib/debug/.build-id/8e/f5f76c7b80a6c0aed5744a78c3adb907dfdefb.debug /usr/lib/debug/.dwz/powerpc64-linux-gnu/coqprime-tools.debug /usr/share/doc/coqprime-tools-dbgsym