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

/usr/lib/debug/.build-id/82/ad897e5af01f2e572168ca7b1e31a6d5f648ed.debug
/usr/share/doc/libcoq-bignums-dbgsym