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

/usr/lib/debug/.build-id/fd/4fe4fb015510aebe9a6dce2f807f5aa412ec3a.debug
/usr/share/doc/libcoq-interval-dbgsym