Zoznam súborov balíka cbmc-dbgsym v sid architektúry sparc64

/usr/lib/debug/.build-id/38/7b09b77dffae2c9dca74a7ac56f9dbe2df781c.debug
/usr/lib/debug/.build-id/79/20506abdeb4adcb855672791ac4d6d6ed894a1.debug
/usr/lib/debug/.build-id/7c/4fc75499e563e01891e19a2b8a55c89a7ff492.debug
/usr/lib/debug/.build-id/8a/a230dcf0ae50bb43ca66fa4a26fb3e5dc6a5f4.debug
/usr/lib/debug/.build-id/91/be7f6fb219d6d7e9c0e9c25e671b073a8f69cb.debug
/usr/lib/debug/.build-id/93/f616c50ab32f0046f0db3382b6d3a298cc4579.debug
/usr/lib/debug/.build-id/a3/a097b22c7b91001f6a52888e905c40360bbbbc.debug
/usr/lib/debug/.build-id/bf/3792295fc6c8059ed3458ddae2a651c122abb5.debug
/usr/lib/debug/.build-id/c9/70f712f822a5f1f796cedaa0c95faeea216577.debug
/usr/lib/debug/.build-id/d5/61b3b1845b4e2f94e80bf4d55eb1bdf23ddbe4.debug
/usr/lib/debug/.dwz/sparc64-linux-gnu/cbmc.debug
/usr/share/doc/cbmc-dbgsym