Bestandenoverzicht voor pakket libwhy3-ocaml-dev-dbgsym in sid voor het platform ppc64

/usr/lib/debug/.build-id/4d/1937b4975426c4385f164381dc41342bbe4036.debug
/usr/share/doc/libwhy3-ocaml-dev-dbgsym