summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorGard Spreemann <gspr@nonempty.org>2021-01-22 11:24:48 +0100
committerGard Spreemann <gspr@nonempty.org>2021-01-22 11:24:48 +0100
commit11380e13be48e009cbeb58616dde92d7e7ab2237 (patch)
tree3e95849d3068f3d2c90eb7d7595c88ec9f30214e /debian/patches/series
parent4e374b51be6642a5170d3f84658bdae8cc26560a (diff)
Drop patch for CGAL 5.2 as it has been upstreamed
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series1
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series
index cc576f3b..adeb35f7 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -5,4 +5,3 @@
0005-Disable-Sphinx.patch
0006-Install-Python-module-in-correct-location.patch
0007-Move-towards-reproducible-builds.patch
-0008-Fix-building-with-CGAL-5.2.patch