File list of package python3-cvc5-dbgsym in sid of architecture hppa
/usr/lib/debug/.build-id/b4/a8707d213e1301a7cb0b006e8cae0a75efd6f9.debug /usr/share/doc/python3-cvc5-dbgsym
/usr/lib/debug/.build-id/b4/a8707d213e1301a7cb0b006e8cae0a75efd6f9.debug /usr/share/doc/python3-cvc5-dbgsym