[Pkg-ocaml-maint-commits] [SCM] jocaml packaging branch, master, updated. debian/3.11.0-3-12-g2c617ef

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 277ee7bc49172a5fc6bbe215852973df8fe1e01f
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed Jun 24 11:39:26 2009 +0200

    Make topfind work with JoCaml

diff --git a/debian/changelog b/debian/changelog
index 99c2020..933477c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,6 +3,9 @@ jocaml (3.11.1+debian1-1) UNRELEASED; urgency=low
   * New Upstream Version
   * Add a README.source explaining Debian-specific repackaging
   * Install toplevel library, Closes: #532989, #532981.
+  * Add a patch to minimize changes in outcometree.mli and do not install
+    toploop.cmi. Theses changes allow findlib to work with JoCaml without
+    recompiling it (Closes: #532970).
 
  -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Tue, 23 Jun 2009 17:51:44 +0200
 
diff --git a/debian/jocaml.install.in b/debian/jocaml.install.in
index 23e5c0b..30c17f7 100644
--- a/debian/jocaml.install.in
+++ b/debian/jocaml.install.in
@@ -14,7 +14,6 @@ OPT: usr/bin/jocamlopt
 OPT: usr/bin/jocamlopt.opt
 @JOCamlStdlibDir@/topdirs.cmi
 @JOCamlStdlibDir@/toplevellib.cma
- at JOCamlStdlibDir@/toploop.cmi
 @JOCamlStdlibDir@/topmain.cmi
 @JOCamlStdlibDir@/topstart.cmo
 @JOCamlStdlibDir@/addlabels

-- 
jocaml packaging