diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-06-12 10:51:06 +0200 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-06-12 11:32:00 +0200 |
commit | b6d352a83740be5ce12e33b0b89980538246a504 (patch) | |
tree | 8f7b9a41ec89242bf5112ad1db82c331785138ce /debian/changelog | |
parent | 9f3023fc3e5cb3fa7073d5b3fa2c7011002af1d1 (diff) |
Install utilities (binary gudhi-utils).
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 3 |
1 files changed, 2 insertions, 1 deletions
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 <gspreemann@gmail.com> Tue, 12 Jun 2018 10:01:01 +0200 + -- Gard Spreemann <gspreemann@gmail.com> Tue, 12 Jun 2018 10:50:01 +0200 gudhi (2.1.0+dfsg-2) unstable; urgency=medium |