Liste des fichiers du paquet libcoq-dpdgraph-dbgsym dans sid pour l'architecture ppc64

/usr/lib/debug/.build-id/f7/e2c1cac6f23ba24b1704498b1881cc4edba9e2.debug
/usr/share/doc/libcoq-dpdgraph-dbgsym