Paketin boolector-dbgsym tiedostoluettelo jakelussa sid arkkitehtuurilla ppc64

/usr/lib/debug/.build-id/e9/1c1b3839cf285fd9d6558ec87f452a66ed6ddc.debug
/usr/share/doc/boolector-dbgsym