diff options
author | Gard Spreemann <gspr@nonempty.org> | 2022-11-03 16:49:24 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2022-11-03 16:49:24 +0100 |
commit | 23fbf54eb491d99b106546e20c13b70fe44b9dd7 (patch) | |
tree | 1ed1f4cc2fffec25ac85c7ec88e100fc1fb7ce09 /debian/patches/series | |
parent | ec339239a11601510ce9324a3498f45610ce5eac (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/series | 1 |
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 |