Список файлов пакета cbmc-dbgsym в sid для архитектуры m68k

/usr/lib/debug/.build-id/07/af929b99119d06b49779c09ac7882f7686e731.debug
/usr/lib/debug/.build-id/46/f0492ece3a67da67364831cae3475e4b8b74df.debug
/usr/lib/debug/.build-id/49/6fe7d8c50ce0b7f3a01a6620930a96eee50889.debug
/usr/lib/debug/.build-id/5c/2d9c39f23b7b71b9efdd3ec098c07e359d3daa.debug
/usr/lib/debug/.build-id/b9/2c7fb03557fa50942cf070cf78a29e99040851.debug
/usr/lib/debug/.build-id/be/2f1c7f50e0d526ff5aa127402811b303f779d1.debug
/usr/lib/debug/.build-id/cb/bfbedc2d86d67b0cc8c4249bf32f256c56f437.debug
/usr/lib/debug/.build-id/db/7f7360cc4fb6c722a3827ce91ce3d22eb8f822.debug
/usr/lib/debug/.build-id/e9/415c1b83a5d505309787eb815fd4a99b2990be.debug
/usr/lib/debug/.build-id/ef/01032828b3649848f592cca1a2d6b093786731.debug
/usr/lib/debug/.dwz/m68k-linux-gnu/cbmc.debug
/usr/share/doc/cbmc-dbgsym