From 23fbf54eb491d99b106546e20c13b70fe44b9dd7 Mon Sep 17 00:00:00 2001 From: Gard Spreemann Date: Thu, 3 Nov 2022 16:49:24 +0100 Subject: Bump CGAL dependency to >=5.5.1, and drop patch 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. --- 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 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 -- cgit v1.2.3