Bestandenoverzicht voor pakket why3-dbgsym in sid voor het platform m68k

/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