diff options
-rw-r--r-- | debian/changelog | 3 | ||||
-rw-r--r-- | debian/control | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index a16ffd86..0bdbf4a9 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,6 +1,7 @@ -gudhi (3.1.0+dfsg-1) UNRELEASED; urgency=medium +gudhi (3.1.0+dfsg-1) unstable; urgency=medium * Allow forcing parallel builds for local use. + * Standards-version 4.5.0.0. No changes needed. * New upstream release. -- Gard Spreemann <gspr@nonempty.org> Tue, 21 Jan 2020 10:26:33 +0100 diff --git a/debian/control b/debian/control index 259f4e6b..334c2d1b 100644 --- a/debian/control +++ b/debian/control @@ -2,7 +2,7 @@ Source: gudhi Maintainer: Gard Spreemann <gspr@nonempty.org> Section: math Priority: optional -Standards-Version: 4.4.1 +Standards-Version: 4.5.0.0 Build-Depends: cmake (>= 3.1), cython3, debhelper (>= 12), |