diff options
| author |  Stephane Glondu <steph@glondu.net> | 2013-11-22 14:35:49 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2013-11-22 14:35:49 +0100 |
| commit | 7a0c2d001f6face17efcae6800507b1f22368046 (patch) | |
| tree | d17c5a15b84f5102e80b3b47296c25c267b34b23 | |
| parent | 505d907f147c3dfed60d017a634729661e43cea2 (diff) | |
Refresh patches
| -rw-r--r-- | debian/patches/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch | 2 |
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 |