Update packaging

diff --git a/debian/control b/debian/control
index aafc6880a6ff9fa9b33c78b60cb8557fd300aebd..1926de3f3ac840211d2eb36e8042db4f19d67054 100644 (file)
--- a/debian/control
+++ b/debian/control
@@ -8,15 +8,15 @@ Uploaders:
  Mehdi Dogguy <mehdi@debian.org>,
  Ximin Luo <infinity0@debian.org>
 Build-Depends:
- debhelper-compat (= 12),
+ debhelper-compat (= 13),
  pkg-config,
  binutils-dev,
  libiberty-dev,
  libncurses5-dev,
  libx11-dev,
  zlib1g-dev,
- dh-ocaml (>= 1.0.0~)
-Standards-Version: 4.4.1
+ dh-ocaml
+Standards-Version: 4.5.0
 Rules-Requires-Root: no
 Vcs-Git: https://salsa.debian.org/ocaml-team/ocaml.git
 Vcs-Browser: https://salsa.debian.org/ocaml-team/ocaml

diff --git a/debian/rules b/debian/rules
index f47f70b5ae09d3178873140ab0847e45e0f2cf0f..48b85aeb7003ba62fdc6d9a8842775ea824e3049 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -303,10 +303,6 @@ override_dh_installdocs:
        dh_installdocs --package=ocaml-base-nox --doc-main-package=ocaml
        dh_installdocs --remaining-packages
 
-.PHONY: override_dh_missing
-override_dh_missing:
-       dh_missing --fail-missing
-
 override_dh_autoreconf:
        ./autogen