summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorGard Spreemann <gspr@nonempty.org>2022-11-03 16:49:24 +0100
committerGard Spreemann <gspr@nonempty.org>2022-11-03 16:49:24 +0100
commit23fbf54eb491d99b106546e20c13b70fe44b9dd7 (patch)
tree1ed1f4cc2fffec25ac85c7ec88e100fc1fb7ce09 /debian/patches/series
parentec339239a11601510ce9324a3498f45610ce5eac (diff)
Bump CGAL dependency to >=5.5.1, and drop patchdebian/3.6.0+dfsg-3
From CGAL 5.5.1, the CGAL 5.5 compatibility patch is no longer needed. The underlying issue (upstream issue #6799) has been fixed upstream.
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 1c41a910..ab3337cf 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,4 +2,3 @@
0002-Use-system-MathJax.patch
0003-Offline-header-for-docs.patch
0004-Disable-Sphinx.patch
-0005-CGAL-5.5-compatibility.patch