Paketin picosat-dbgsym tiedostoluettelo jakelussa sid arkkitehtuurilla sh4
/usr/lib/debug/.build-id/1a/7aefec6d7136f5d73cee5db69ec17ea04dca56.debug /usr/lib/debug/.build-id/54/3114b23ee2d4731d3102e80ec091bb8b6aec15.debug /usr/lib/debug/.build-id/d5/930cb0459c16e002ce8581b4e4381e79ab774e.debug /usr/lib/debug/.build-id/ef/f456775c18c738c9ee03e88ba5507821024bcc.debug /usr/lib/debug/.dwz/sh4-linux-gnu/picosat.debug /usr/share/doc/picosat-dbgsym