File list of package libcoq-reduction-effects-dbgsym in sid of architecture ppc64

/usr/lib/debug/.build-id/d7/bd1c1a1853c8d95c75adbb4e459088354add22.debug
/usr/share/doc/libcoq-reduction-effects-dbgsym