From 7a0c2d001f6face17efcae6800507b1f22368046 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Fri, 22 Nov 2013 14:35:49 +0100 Subject: Refresh patches --- debian/patches/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debian') 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 -- cgit v1.2.3