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

/usr/lib/debug/.build-id/1f/d96aeef7f7fe7aa5b9c345a65d0058d9dc9070.debug
/usr/lib/debug/.build-id/20/d8830a9158d2c995046ba658866d680e3d2d50.debug
/usr/lib/debug/.build-id/5b/9a1e4d1ef8da6a000687931474044132c14cc9.debug
/usr/lib/debug/.build-id/6c/3336a8cfd08eb24129012becc6b81a43c70501.debug
/usr/lib/debug/.build-id/90/ea820a8674423620ab5b18257f3e3bcb236fc6.debug
/usr/lib/debug/.build-id/a2/457890428410c43c25c5d6b62f4bf432f84305.debug
/usr/lib/debug/.build-id/c8/f33cf34aab59670b15f04fdd56f62533c90f47.debug
/usr/lib/debug/.build-id/da/24b6ba5702c8cdb1599aca9b6c89167156146c.debug
/usr/lib/debug/.build-id/e9/68b86a88e871c7670ee1dae61985c74cfb740d.debug
/usr/lib/debug/.build-id/f6/fb218e045d1d10519aa638bf4ba7bf42aaee98.debug
/usr/lib/debug/.dwz/m68k-linux-gnu/cbmc.debug
/usr/share/doc/cbmc-dbgsym