diff options
Diffstat (limited to 'debian')
-rw-r--r-- | debian/compat | 1 | ||||
-rw-r--r-- | debian/control | 2 |
2 files changed, 1 insertions, 2 deletions
diff --git a/debian/compat b/debian/compat deleted file mode 100644 index 48082f7..0000000 --- a/debian/compat +++ /dev/null @@ -1 +0,0 @@ -12 diff --git a/debian/control b/debian/control index cd21948..29ed778 100644 --- a/debian/control +++ b/debian/control @@ -3,7 +3,7 @@ Section: math Priority: optional Maintainer: Gard Spreemann <gspr@nonempty.org> Build-Depends: - debhelper (>= 12) + debhelper-compat (= 13) Standards-Version: 4.5.1 Rules-Requires-Root: no Homepage: http://ripser.org |