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

/usr/lib/debug/.build-id/69/b5fc188080dae70d6a80910fd60f00195ef559.debug
/usr/share/doc/libcoq-simple-io-dbgsym