This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository alt-ergo.

commit fbd9f755855ccdb2d6e8546af94320308c6fbaef
Author: Ralf Treinen <trei...@pps.univ-paris-diderot.fr>
Date:   Tue Nov 5 15:29:44 2013 +0100

    drop patch 0003-Fix-a-typo.patch
---
 debian/changelog                     |    2 ++
 debian/patches/0003-Fix-a-typo.patch |   16 ----------------
 debian/patches/series                |    1 -
 3 files changed, 2 insertions(+), 17 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 4f30290..56dd562 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,6 +5,8 @@ alt-ergo (0.95.2-1) UNRELEASED; urgency=low
   * drop patch 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch:
     the file test.mlw is no longer relevant. Add in debian/rules and overwrite
     for dh_auto_test to select the right test target.
+  * drop patches that have been applied by upstream:
+    - 0003-Fix-a-typo.patch
 
  -- Ralf Treinen <trei...@debian.org>  Tue, 05 Nov 2013 14:16:57 +0100
 
diff --git a/debian/patches/0003-Fix-a-typo.patch 
b/debian/patches/0003-Fix-a-typo.patch
deleted file mode 100644
index 13acafc..0000000
--- a/debian/patches/0003-Fix-a-typo.patch
+++ /dev/null
@@ -1,16 +0,0 @@
-From: Mehdi Dogguy <me...@debian.org>
-Date: Tue, 1 Jun 2010 21:24:16 +0200
-Subject: Fix a typo
-Forwarded: 
https://gforge.inria.fr/tracker/index.php?func=detail&aid=15590&group_id=2340&atid=8106
-
---- alt-ergo.orig/cc.ml        2013-04-03 17:08:22.456316165 +0200
-+++ alt-ergo/cc.ml     2013-04-03 17:09:34.216693136 +0200
-@@ -72,7 +72,7 @@
-               if debug_cc () then 
-               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 c = ref 0 in
-                   List.iter 
-                     (fun a ->
diff --git a/debian/patches/series b/debian/patches/series
index 14cfcca..f37769b 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,5 +1,4 @@
 0001-No-need-to-activate-debug-flag.patch
-0003-Fix-a-typo.patch
 0004-Add-rules-and-targets-for-gui.byte.patch
 0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch
 0007-Fix-all-target.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to