diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-07-09 11:19:13 +0200 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-07-09 11:19:13 +0200 |
commit | a93fbf9e9f2d4e863cabfda46881d40422132e4d (patch) | |
tree | dd5cd233161c584b77264851be5387bcae3234c7 /debian | |
parent | fed62e52ab396f0d6ba9029f12d5ef35d7761989 (diff) |
Standards-version 4.1.5.
Diffstat (limited to 'debian')
-rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index 59ebc95e..00f91e6a 100644 --- a/debian/control +++ b/debian/control @@ -2,7 +2,7 @@ Source: gudhi Maintainer: Gard Spreemann <gspreemann@gmail.com> Section: math Priority: optional -Standards-Version: 4.1.4 +Standards-Version: 4.1.5 Build-Depends: cmake (>= 3.1), cython3, debhelper (>= 11), |