On Thu, Feb 26, 2009 at 12:50:04PM +0100, Stéphane Glondu wrote: > 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.
That makes sense. -Ralf. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
