[Pkg-ocaml-maint-commits] [coq] 01/03: Refresh patches

[Stéphane Glondu]

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

glondu pushed a commit to branch master
in repository coq.

commit 7a0c2d001f6face17efcae6800507b1f22368046
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Nov 22 14:35:49 2013 +0100

    Refresh patches
---
 .../patches/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch   |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/patches/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch b/debian/patches/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch
index 722ab00..198188e 100644
--- a/debian/patches/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch
+++ b/debian/patches/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch
@@ -4,7 +4,7 @@ Subject: test-suite/success/Nsatz.v: comment out Ceva
 
 This lemma uses too much memory for many buildds...
 ---
- test-suite/success/Nsatz.v |    2 ++
+ test-suite/success/Nsatz.v | 2 ++
  1 file changed, 2 insertions(+)
 
 diff --git a/test-suite/success/Nsatz.v b/test-suite/success/Nsatz.v

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