From: Stephane Glondu Date: Fri, 27 Jul 2012 06:32:22 +0000 (+0200) Subject: New file in @OCamlStdlibDir@: topdirs.cmi X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~219 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=ac8996105700b1d4ba37c53d69a2317263bad7f1;p=ocaml.git New file in @OCamlStdlibDir@: topdirs.cmi --- diff --git a/debian/ocaml-compiler-libs.install.in b/debian/ocaml-compiler-libs.install.in index 0b5345d7..5a8d0407 100644 --- a/debian/ocaml-compiler-libs.install.in +++ b/debian/ocaml-compiler-libs.install.in @@ -1 +1,2 @@ @OCamlStdlibDir@/compiler-libs +@OCamlStdlibDir@/topdirs.cmi