File list of package coq-dbgsym in sid of architecture ppc64

/usr/lib/debug/.build-id/1a/3079e4bc21cba000c1ca4e21b94f5273e2686d.debug
/usr/lib/debug/.build-id/1e/b325f5cefc6605397136ac079300183b5de972.debug
/usr/lib/debug/.build-id/27/ea32d829a89d5af518023d6d40c485e9766780.debug
/usr/lib/debug/.build-id/42/c0d8fb8044365940f2548f84933d930bd57554.debug
/usr/lib/debug/.build-id/43/0f81a6f8abd98b66dd182e7070989ce3f4deb0.debug
/usr/lib/debug/.build-id/70/8f68b6f33892f0082665922faa84b81df41351.debug
/usr/lib/debug/.build-id/71/1f5d2cc94d5a6b20bad338622d387312677191.debug
/usr/lib/debug/.build-id/73/336647e7ada45972862f01633097d864014a87.debug
/usr/lib/debug/.build-id/90/a6c1c916eceaca34846e65efc4b6bce91c56d2.debug
/usr/lib/debug/.build-id/a6/d672fb56f65ae57f2d20e4e8b42899160bf25c.debug
/usr/lib/debug/.build-id/a8/7866789fe1071fbec10eb8e0f4fac5c8e43605.debug
/usr/lib/debug/.build-id/ca/0f4ea171f7ef7ab6cd062348a2e853fa07102b.debug
/usr/lib/debug/.build-id/de/011fcf7d4718299265a859fa2f7164a925a6d6.debug
/usr/lib/debug/.build-id/df/cd0c25370693e3b756467d41fc4f8f811095ad.debug
/usr/lib/debug/.build-id/e2/896159f5de0321a7e536ba55dc25f2748b7669.debug
/usr/lib/debug/.build-id/f4/963edd1f919a184d893e82fc787275c957036a.debug
/usr/lib/debug/.build-id/fa/4c2e11313dd9567441622b076e5433038c4e6b.debug
/usr/lib/debug/.dwz/powerpc64-linux-gnu/coq.debug
/usr/share/doc/coq-dbgsym