File list of package cbmc-dbgsym in sid of architecture ia64

/usr/lib/debug/.build-id/28/83144b2a8c2f72d3f0cc78cb3726e463db46f0.debug
/usr/lib/debug/.build-id/6d/6b3ca5d78ca33c4491a679c71e8ca9f179b03e.debug
/usr/lib/debug/.build-id/8b/0d74e6809ae56818fe5ad635c0492af76df714.debug
/usr/lib/debug/.build-id/8c/2cd92ed548338c852155c01e1e558226e9c817.debug
/usr/lib/debug/.build-id/b1/9800eda6054464f7a21327e6513f78f2294665.debug
/usr/lib/debug/.build-id/b8/5dcc29a4c40461e862ccbd8561a156832cf952.debug
/usr/lib/debug/.build-id/c4/301ad9cd3b5e29631b01584dff635925fe9706.debug
/usr/lib/debug/.build-id/ca/82bb54e95064deaaa84c5b0ebce7c4d6ec1215.debug
/usr/lib/debug/.build-id/f6/d0c47a93c4174bb65c88bfff4043ddcd624984.debug
/usr/lib/debug/.build-id/fa/cdf3a638e72901c4f38dfc5db6ea9f308ffb45.debug
/usr/lib/debug/.dwz/ia64-linux-gnu/cbmc.debug
/usr/share/doc/cbmc-dbgsym