[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.9-1-9-g6c60e79

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 6c60e790ef1fd3f5740f222ba86e7fa71c1c9787
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Tue Jun 1 21:24:51 2010 +0200

    Fix a typo in the sources

diff --git a/debian/changelog b/debian/changelog
index aeb32db..80a7600 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -8,8 +8,10 @@ alt-ergo (0.91-1) unstable; urgency=low
   * Bump standards to 3.8.4
     - Add a debian/README.source
   * Add a debian/source/format (keep 1.0 format, for now)
+  * Fix a typo in the sources
+    - Add 0003-Fix-a-typo.patch
 
- -- Mehdi Dogguy <mehdi at debian.org>  Tue, 01 Jun 2010 21:19:37 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Tue, 01 Jun 2010 21:24:28 +0200
 
 alt-ergo (0.9-1) unstable; urgency=low
 
diff --git a/debian/patches/0003-Fix-a-typo.patch b/debian/patches/0003-Fix-a-typo.patch
new file mode 100644
index 0000000..3e3937a
--- /dev/null
+++ b/debian/patches/0003-Fix-a-typo.patch
@@ -0,0 +1,22 @@
+From: Mehdi Dogguy <mehdi at debian.org>
+Date: Tue, 1 Jun 2010 21:24:16 +0200
+Subject: [PATCH] Fix a typo
+
+---
+ cc.ml |    2 +-
+ 1 files changed, 1 insertions(+), 1 deletions(-)
+
+diff --git a/cc.ml b/cc.ml
+index 44f8558..6998a0b 100644
+--- a/cc.ml
++++ b/cc.ml
+@@ -64,7 +64,7 @@ module Make (X : Sig.X) = struct
+     let make_cst t ctx =
+       if ctx = [] then ()
+       else begin
+-        fprintf fmt "[cc] contraints of make(%a)@." Term.print t;
++        fprintf fmt "[cc] constraints of make(%a)@." Term.print t;
+         let cpt = ref 0 in
+         List.iter 
+           (fun a ->
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index 2480f9b..6235b65 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
 0001-No-need-to-activate-debug-flag.patch
 0002-Do-not-run-the-test-if-test.mlw-is-absent.patch
+0003-Fix-a-typo.patch

-- 
alt-ergo packaging