Ralf Treinen a écrit : > ocaml-compiler-libs seems to be the right place for these so I guess these > files should simply not be shipped by ocaml-nox.
I think on the contrary that outcometree.cmi should remain in ocaml-nox. It is installed by upstream, and may be used by the toplevel or other third-party tools or libraries (thanks to its special location at the root of `ocamlc -where`). Files shipped by ocaml-compiler-libs are not installed by upstream. If outcometree.cmi must be removed from somewhere, it should be from ocaml-compiler-libs. -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org