File list of package libcoq-paramcoq-dbgsym in sid of architecture ppc64

/usr/lib/debug/.build-id/c7/d8cbdabb8d6d979a6e7f6436ff383bae33bf85.debug
/usr/share/doc/libcoq-paramcoq-dbgsym