Lista plików pakietu why3-dbgsym z gałęzi sid na architekturę x32
/usr/lib/debug/.build-id/1e/0a149b04dd07c8d54f4f299a889d480a0d8eac.debug /usr/lib/debug/.build-id/9b/f55f3517775d9fed39e6dc0060c8b30c6bf168.debug /usr/lib/debug/.build-id/f9/b8d086cf31fb55b56a00501bc69606a7e1eb42.debug /usr/share/doc/why3-dbgsym