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 <treinen at 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 <treinen at 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 <mehdi at 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