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
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
Package: ocaml-nox
Version: 3.11.0-5
Severity: minor
some files are installed both by ocaml-nox and ocaml-compiler-libs:
% dpkg -S outcometree
ocaml-compiler-libs: /usr/lib/ocaml/3.11.0/compiler-libs/typing/outcometree.cmi
ocaml-nox: /usr/lib/ocaml/3.11.0/outcometree.cmi
ocaml-compiler-libs:
3 matches
Mail list logo