diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-03-06 15:57:57 +0100 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-03-06 15:57:57 +0100 |
commit | 2df7614eb65b412b89e983e91aa9a4cdb72cabf6 (patch) | |
tree | b27d88d98c7a4ccd06b048c4f40f04ef0705a5fd | |
parent | f0904b58c176576598208069a252ec43c5908f1c (diff) |
Bump standards-version to 4.1.3. No changes needed.
-rw-r--r-- | debian/control | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/control b/debian/control index de3c6d86..4f721118 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.1 +Standards-Version: 4.1.3 Build-Depends: cmake (>= 2.6), cython3, debhelper (>= 10), dh-python, doxygen, graphviz, libboost-chrono-dev (>= 1.48), libboost-filesystem-dev (>= 1.48), libboost-program-options-dev (>= 1.48), libboost-system-dev (>= 1.48), @@ -107,4 +107,4 @@ Description: GUI for some of the functionality of the GUDHI library . This package contains GudhUI, a graphical interface to a few of GUDHI's features. Be aware that it is quite rough around the edges. -
\ No newline at end of file + |