summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2013-11-22 14:35:49 +0100
committerGravatar Stephane Glondu <steph@glondu.net>2013-11-22 14:35:49 +0100
commit7a0c2d001f6face17efcae6800507b1f22368046 (patch)
treed17c5a15b84f5102e80b3b47296c25c267b34b23
parent505d907f147c3dfed60d017a634729661e43cea2 (diff)
Refresh patches
-rw-r--r--debian/patches/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch2
1 files changed, 1 insertions, 1 deletions
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 722ab00c..198188e7 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