Multiarch Fixes - dh-coq

• QA Page
• Maintainer email: debian-ocaml-maint@lists.debian.org
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-11-06T23:45 (took 20m1s)
• Branch URL: https://salsa.debian.org/ocaml-team/dh-coq.git -b master (taken from version 0.8)
• Queue position: 27141 (a 10w0d wait)

Schedule a new run

Recent merge proposals

• https://salsa.debian.org/ocaml-team/dh-coq/-/merge_requests/1 (open)
• https://salsa.debian.org/ocaml-team/dh-coq/-/merge_requests/2 (closed)

Ready changes

Publish now

Summary

• dep-any : debian-coq-tools could have its dependency on python3 annotated with :any

Diff

diff --git a/debian/control b/debian/control
index fe9aaac..73a8fa1 100644
--- a/debian/control
+++ b/debian/control
@@ -24,7 +24,7 @@ Description: debhelper tool for Coq-related Debian packages
 Package: debian-coq-tools
 Architecture: all
 Multi-Arch: foreign
-Depends: ${misc:Depends}, python3
+Depends: ${misc:Depends}, python3:any
 Description: various tools to manage Coq-related Debian packages
  Those tools make it easier to track package dependencies
  and possible breakage and maintain the whole Coq-in-Debian stack

Debdiff

File lists identical (after any substitutions)

Control files of package debian-coq-tools: lines which differ (wdiff format)

• Depends: python3 python3:any

No differences were encountered between the control files of package dh-coq

More details

Full run details