[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.pl2+dfsg-1-3-g9a65bba

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7e2189152704cdabc6cda66c3c4a3f0a709485a8
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Feb 21 15:05:38 2011 +0100

    Refresh patches

diff --git a/debian/patches/0001-Disable-micromega-tests.patch b/debian/patches/0001-Disable-micromega-tests.patch
index 8857a87..5979dc6 100644
--- a/debian/patches/0001-Disable-micromega-tests.patch
+++ b/debian/patches/0001-Disable-micromega-tests.patch
@@ -1,6 +1,6 @@
 From: Stephane Glondu <steph at glondu.net>
 Date: Mon, 22 Feb 2010 10:39:03 +0100
-Subject: [PATCH] Disable micromega tests
+Subject: Disable micromega tests
 
 Workaround for bug #570920.
 ---
diff --git a/debian/patches/0002-Remove-dependency-to-Unix-from-module-Profile.patch b/debian/patches/0002-Remove-dependency-to-Unix-from-module-Profile.patch
index 7a84720..fd1aaf1 100644
--- a/debian/patches/0002-Remove-dependency-to-Unix-from-module-Profile.patch
+++ b/debian/patches/0002-Remove-dependency-to-Unix-from-module-Profile.patch
@@ -1,6 +1,6 @@
 From: Stephane Glondu <steph at glondu.net>
 Date: Fri, 2 Jul 2010 15:00:43 +0200
-Subject: [PATCH] Remove dependency to Unix from module Profile
+Subject: Remove dependency to Unix from module Profile
 
 Applied-Upstream: https://gforge.inria.fr/scm/viewvc.php?view=rev&root=coq&revision=13234
 Signed-off-by: Stephane Glondu <steph at glondu.net>

-- 
coq packaging