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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit c10186e2c7ad1a1eb9508e431dcbaad082a504cd
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Jul 7 18:04:30 2009 +0200

    Update patch

diff --git a/debian/patches/0001-Replace-Otyp_proc-with-Otyp_stuff-to-make-outcometre.patch b/debian/patches/0001-Replace-Otyp_proc-with-Otyp_stuff-to-make-outcometre.patch
index d0a7115..22edab7 100644
--- a/debian/patches/0001-Replace-Otyp_proc-with-Otyp_stuff-to-make-outcometre.patch
+++ b/debian/patches/0001-Replace-Otyp_proc-with-Otyp_stuff-to-make-outcometre.patch
@@ -9,7 +9,7 @@ Subject: [PATCH] Replace Otyp_proc with Otyp_stuff "" to make outcometree.mli co
  3 files changed, 1 insertions(+), 3 deletions(-)
 
 diff --git a/typing/oprint.ml b/typing/oprint.ml
-index 085c178..a6a1a04 100644
+index 825d550..3e254f7 100644
 --- a/typing/oprint.ml
 +++ b/typing/oprint.ml
 @@ -209,7 +209,6 @@ and print_simple_out_type ppf =
@@ -21,7 +21,7 @@ index 085c178..a6a1a04 100644
  and print_fields rest ppf =
    function
 diff --git a/typing/outcometree.mli b/typing/outcometree.mli
-index b550ab8..e9d1964 100644
+index aa3b327..8240e4b 100644
 --- a/typing/outcometree.mli
 +++ b/typing/outcometree.mli
 @@ -60,7 +60,6 @@ type out_type =
@@ -33,7 +33,7 @@ index b550ab8..e9d1964 100644
  and out_variant =
    | Ovar_fields of (string * bool * out_type list) list
 diff --git a/typing/printtyp.ml b/typing/printtyp.ml
-index 6c72732..9832412 100644
+index 978a773..a203e80 100644
 --- a/typing/printtyp.ml
 +++ b/typing/printtyp.ml
 @@ -385,7 +385,7 @@ let rec tree_of_typexp sch ty =

-- 
jocaml packaging