diff options
Diffstat (limited to 'debian')
-rw-r--r-- | debian/changelog | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 1496ddcd..5a035097 100644 --- a/debian/changelog +++ b/debian/changelog @@ -5,8 +5,12 @@ gudhi (3.0.0+dfsg-4) UNRELEASED; urgency=medium * Disable parallel builds. A lot of buildds seem to be swapping out, and some Ubuntu ones run out of memory outright. (Closes: #945226) * Standards-version 4.4.1. No changes needed. + * Drop 0004-Force-linking-of-Python-module-with-CGAL.patch since CGAL is + now header-only. + * Add 0007-Move-towards-reproducible-builds.patch to move towards + reproducible builds. - -- Gard Spreemann <gspr@nonempty.org> Thu, 05 Dec 2019 12:18:43 +0100 + -- Gard Spreemann <gspr@nonempty.org> Tue, 10 Dec 2019 14:33:51 +0100 gudhi (3.0.0+dfsg-3) unstable; urgency=medium |