From 8300ef2c07a17451f594bcbd6f0689cafb87c3fb Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Tue, 5 Feb 2019 10:40:49 -0500 Subject: Refresh patches --- debian/patches/series | 1 - 1 file changed, 1 deletion(-) (limited to 'debian/patches/series') diff --git a/debian/patches/series b/debian/patches/series index 2bf642fb..85f4fddd 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -3,7 +3,6 @@ Remove-test-4429.patch Remove-3441.v-and-4811.v-due-to-timeout-on-small-pla.patch 5127-fails-on-mips.patch remove-tests-that-need-coqlib.patch -spelling.patch avoid-usr-bin-env.patch python-scripts-libraries.patch skip-dot-pc.patch -- cgit v1.2.3