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

/usr/lib/debug/.build-id/43/4f649e9b6d1b5e34ab544b0b58408b199ea8de.debug
/usr/share/doc/libcoq-interval-dbgsym