File list of package libcoq-simple-io-dbgsym in sid of architecture ppc64

/usr/lib/debug/.build-id/03/41b88c82843658557b87714d8b2478ee85b1f7.debug
/usr/lib/debug/.dwz/powerpc64-linux-gnu/libcoq-simple-io.debug
/usr/share/doc/libcoq-simple-io-dbgsym