File list of package python3-cvc5-dbgsym in sid of architecture riscv64
/usr/lib/debug/.build-id/b2/4f67c9edc44cf1c8094c4be23c896a0b08061e.debug /usr/share/doc/python3-cvc5-dbgsym
/usr/lib/debug/.build-id/b2/4f67c9edc44cf1c8094c4be23c896a0b08061e.debug /usr/share/doc/python3-cvc5-dbgsym