File list of package libwhy3-ocaml-dev-dbgsym in sid of architecture ppc64

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