diff options
author | Gard Spreemann <gspr@nonempty.org> | 2022-08-16 16:02:30 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2022-08-16 16:02:30 +0200 |
commit | 514f24ad38a7f673b06a5b63ff3b91b8c3251fff (patch) | |
tree | b01c76438cd169b48f41327834e9e6747908d78e /debian/patches/series | |
parent | 67a54ebf93b9bd29be995c5397f692fc0b915255 (diff) |
CGAL 5.5 compatibilitydebian/3.5.0+dfsg-3
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index 4d556076..5c95e702 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -3,3 +3,4 @@ 0003-Offline-header-for-docs.patch 0004-Disable-Sphinx.patch 0005-Don-t-process-the-entire-source-tree-with-Doxygen.patch +0006-CGAL-5.5-compatibility.patch |