Paketin z3-dbgsym tiedostoluettelo jakelussa sid arkkitehtuurilla x32
/usr/lib/debug/.build-id/79/03439ce46a04a35e43ab66d748a9d92506ed9c.debug /usr/share/doc/z3-dbgsym
/usr/lib/debug/.build-id/79/03439ce46a04a35e43ab66d748a9d92506ed9c.debug /usr/share/doc/z3-dbgsym