From b6d352a83740be5ce12e33b0b89980538246a504 Mon Sep 17 00:00:00 2001 From: Gard Spreemann Date: Tue, 12 Jun 2018 10:51:06 +0200 Subject: Install utilities (binary gudhi-utils). --- debian/changelog | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index aa33626c..e75e09cb 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,9 @@ gudhi (2.1.0+dfsg-3) UNRELEASED; urgency=medium * Add patch for floating point rounding problem on some architectures. + * Install utilities (gudhi-utils). - -- Gard Spreemann Tue, 12 Jun 2018 10:01:01 +0200 + -- Gard Spreemann Tue, 12 Jun 2018 10:50:01 +0200 gudhi (2.1.0+dfsg-2) unstable; urgency=medium -- cgit v1.2.3