why3-dbgsym paketinin m68k sid dosya listesi
/usr/lib/debug/.build-id/19/ed3179dba7e2907635fa9b94fd2bedc51512fb.debug /usr/lib/debug/.build-id/ad/285a28e38f92941ea231e3d6210e7ba6c62dee.debug /usr/lib/debug/.dwz/m68k-linux-gnu/why3.debug /usr/share/doc/why3-dbgsym