diff options
-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 d8783ac..e4cd0d8 100644 --- a/debian/control +++ b/debian/control @@ -4,7 +4,7 @@ Section: math Priority: optional Standards-Version: 4.5.0 Build-Depends: cmake, - debhelper (>= 12), + debhelper-compat (= 13), dh-python, python3-all-dev, python3-pybind11, |