From 620dc95e2f2fdc97945e176d3e9e42dfe26c4a0e Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Fri, 24 Jul 2020 16:20:13 +0200 Subject: [PATCH] Update packaging --- debian/control | 6 +++--- debian/rules | 4 ---- 2 files changed, 3 insertions(+), 7 deletions(-) diff --git a/debian/control b/debian/control index aafc6880..1926de3f 100644 --- a/debian/control +++ b/debian/control @@ -8,15 +8,15 @@ Uploaders: Mehdi Dogguy , Ximin Luo 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 f47f70b5..48b85aeb 100755 --- 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 -- 2.30.2