Zoznam súborov balíka libwhy3-ocaml-dev-dbgsym v sid architektúry ppc64
/usr/lib/debug/.build-id/4d/1937b4975426c4385f164381dc41342bbe4036.debug /usr/share/doc/libwhy3-ocaml-dev-dbgsym
/usr/lib/debug/.build-id/4d/1937b4975426c4385f164381dc41342bbe4036.debug /usr/share/doc/libwhy3-ocaml-dev-dbgsym