在 sid 发行版中 m68k 硬件架构下的 frama-c-base-dbgsym 软件包文件清单
/usr/lib/debug/.build-id/04/e90d10209f0586907b751ecb71a7b4e26d9e7e.debug /usr/lib/debug/.build-id/f3/4239e437ae88dd4b18963b33217932842a7a22.debug /usr/lib/debug/.build-id/ff/fd2fa996f6796f8081f77c1a1d8cfbcbaf73b9.debug /usr/lib/debug/.dwz/m68k-linux-gnu/frama-c-base.debug /usr/share/doc/frama-c-base-dbgsym