diff --git a/debian/patches/series b/debian/patches/series index 7ab7bc5c..8fd91729 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -141,7 +141,7 @@ no-z3.patch python3-shebang.patch print-lldb-path.patch no-cgi.patch -d21664cce1db8debe2528f36b1fbd2b8af9c9401.patch +try-to-fix-polly-link.patch 0001-systemz-allow-configuring-default-SYSTEMZ_DEFAULT_AR.patch diff --git a/debian/patches/d21664cce1db8debe2528f36b1fbd2b8af9c9401.patch b/debian/patches/try-to-fix-polly-link.patch similarity index 100% rename from debian/patches/d21664cce1db8debe2528f36b1fbd2b8af9c9401.patch rename to debian/patches/try-to-fix-polly-link.patch