debian/tmp/usr/lib/ocaml/3.10.0/debian/debian.mli
debian/tmp/usr/lib/ocaml/3.10.0/debian/debinfo.mli
debian/tmp/usr/lib/ocaml/3.10.0/debian/debparser.mli
debian/tmp/usr/lib/ocaml/3.10.0/debian/desktoplexer.mli
debian/tmp/usr/lib/ocaml/3.10.0/debian/desktopparser.mli
debian/tmp/usr/lib/ocaml/3.10.0/debian/libmenulexer.mli
debian/tmp/usr/lib/ocaml/3.10.0/debian/libmenuparser.mli
debian/tmp/usr/lib/ocaml/3.10.0/debian/logparser.mli
debian/tmp/usr/lib/ocaml/3.10.0/debian/debian.a
debian/tmp/usr/lib/ocaml/3.10.0/debian/libdebianstub.a
debian/tmp/usr/lib/ocaml/3.10.0/debian/debian.cmxa