summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/changelog6
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