Paketin cbmc-dbgsym tiedostoluettelo jakelussa sid arkkitehtuurilla x32

/usr/lib/debug/.build-id/04/635ad49f83d114fb73595a7ac82717b411d474.debug
/usr/lib/debug/.build-id/0e/016d51d08f995d00664e4c4faaa1682d01ee93.debug
/usr/lib/debug/.build-id/10/31b9ceb3335420200ecca4f0a27f85143386ca.debug
/usr/lib/debug/.build-id/13/95d6be838e044d7eb01c7922da78eddaaec8c0.debug
/usr/lib/debug/.build-id/36/af284246ebc696c769ab807a516edd805baef3.debug
/usr/lib/debug/.build-id/42/6421edf2cc284abdba8d1a340a89c33e174d09.debug
/usr/lib/debug/.build-id/69/56410d0c3be2bd643affdec2895c24db4ad2e8.debug
/usr/lib/debug/.build-id/b5/ca50aca5bfd684c9fdafdb3028b6e37204b293.debug
/usr/lib/debug/.build-id/c0/0c611c23d1edd32f7fbb9f8962cbba31bcd0f2.debug
/usr/lib/debug/.build-id/f0/4c18c4ffb19aad4b69dfd7cd5d40cb94278666.debug
/usr/lib/debug/.dwz/x86_64-linux-gnux32/cbmc.debug
/usr/share/doc/cbmc-dbgsym