File list of package libcoq-elpi-dbgsym in sid of architecture riscv64

/usr/lib/debug/.build-id/db/6134aa35ded900a8c7fca4018e18d8d9e894a5.debug
/usr/share/doc/libcoq-elpi-dbgsym