QA

Debian Quality Assurance

Experimental: Pseudo-Excuse for coq

• Migration status for coq (8.20.1+dfsg-1 to 9.1.0+dfsg-2): BLOCKED: Rejected/violates migration policy/introduces a regression
• Issues preventing migration:
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-coqeal/2.1.0-1+b7/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-coqprime/8.20.1-1+b4/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-corn/8.20.0-1+b10/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-deriving/0.2.1-1+b13/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-ext-lib/0.13.0-1+b4/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-extructures/0.5.0-1+b13/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-flocq/4.2.1-1+b2/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-gappa/1.7.0-1+b1/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-hott/9.0-1+b2/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-interval/4.11.1-1+b13/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-libhyps/2.0.8-4+b7/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-math-classes/8.19.0-1+b10/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-menhirlib/20240715+ds-1+b5/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-ott/0.34+ds-1+b4/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-quickchick/2.1.0-1.1+b2/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-record-update/0.3.4-4+b4/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-reduction-effects/0.1.5-5+b7/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-reglang/1.2.1-4+b19/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-simple-io/1.11.0-1+b1/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/arm64 from unstable makes libcoq-stdpp/1.11.0-1+b5/arm64 uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-coqeal/2.1.0-1+b7/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-coqprime/8.20.1-1+b4/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-corn/8.20.0-1+b10/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-deriving/0.2.1-1+b13/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-ext-lib/0.13.0-1+b4/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-extructures/0.5.0-1+b13/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-flocq/4.2.1-1+b2/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-gappa/1.7.0-1+b1/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-hott/9.0-1+b2/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-interval/4.11.1-1+b14/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-libhyps/2.0.8-4+b8/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-math-classes/8.19.0-1+b11/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-menhirlib/20240715+ds-1+b5/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-ott/0.34+ds-1+b4/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-quickchick/2.1.0-1.1+b2/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-record-update/0.3.4-4+b4/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-reduction-effects/0.1.5-5+b8/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-reglang/1.2.1-4+b19/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-simple-io/1.11.0-1+b1/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/ppc64el from unstable makes libcoq-stdpp/1.11.0-1+b5/ppc64el uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-coqeal/2.1.0-1+b7/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-coqprime/8.20.1-1+b4/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-corn/8.20.0-1+b11/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-deriving/0.2.1-1+b13/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-ext-lib/0.13.0-1+b5/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-extructures/0.5.0-1+b13/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-flocq/4.2.1-1+b2/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-gappa/1.7.0-1+b2/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-hott/9.0-1+b2/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-interval/4.11.1-1+b15/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-libhyps/2.0.8-4+b8/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-math-classes/8.19.0-1+b10/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-menhirlib/20240715+ds-1+b5/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-ott/0.34+ds-1+b4/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-quickchick/2.1.0-1.1+b2/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-record-update/0.3.4-4+b4/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-reduction-effects/0.1.5-5+b7/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-reglang/1.2.1-4+b20/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-simple-io/1.11.0-1+b1/s390x uninstallable
• removing libcoq-stdlib/8.20.1+dfsg-1+b1/s390x from unstable makes libcoq-stdpp/1.11.0-1+b5/s390x uninstallable
• Autopkgtest for coq/9.1.0+dfsg-2: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Pass, riscv64: Pass, s390x: Pass
• Autopkgtest for coq-bignums/9.0.0+coq8.20-1: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-bignums/9.0.0+rocq9.1-1: amd64: Regression ♻ (reference ♻)
• Autopkgtest for coq-dpdgraph/1.0+8.20-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-equations/1.3.1-8.20-1: amd64: Pass, arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-ext-lib/0.13.0-1: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-gappa/1.7.0-1: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-hammer/1.3.2+8.20-1: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-hott/9.0-1: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-iris/4.3.0-1: amd64: Pass, arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-libhyps/2.0.8-4: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-math-classes/8.19.0-1: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-menhirlib/20240715+ds-1: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-mtac2/1.4+8.20-1: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-record-update/0.3.4-4: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-reduction-effects/0.1.5-5: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-simple-io/1.11.0-1: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-stdpp/1.11.0-1: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-unicoq/1.6-8.20-1: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coq-unimath/20240923-2: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for coqprime/8.20.1-1: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for flocq/4.2.1-1: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for ott/0.34+ds-1: arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Autopkgtest for paramcoq/1.1.3+coq8.20-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
• Implicit dependency: coq aac-tactics (not considered)
• Implicit dependency: coq coq-bignums (not considered)
• Implicit dependency: coq coq-corn (not considered)
• Implicit dependency: coq coq-deriving (not considered)
• Implicit dependency: coq coq-elpi (not considered)
• Implicit dependency: coq coq-ext-lib (not considered)
• Implicit dependency: coq coq-extructures (not considered)
• Implicit dependency: coq coq-gappa (not considered)
• Implicit dependency: coq coq-hammer (not considered)
• Implicit dependency: coq coq-hott (not considered)
• Implicit dependency: coq coq-interval (not considered)
• Implicit dependency: coq coq-libhyps (not considered)
• Implicit dependency: coq coq-math-classes (not considered)
• Implicit dependency: coq coq-menhirlib (not considered)
• Implicit dependency: coq coq-mtac2 (not considered)
• Implicit dependency: coq coq-quickchick (not considered)
• Implicit dependency: coq coq-record-update (not considered)
• Implicit dependency: coq coq-reduction-effects (not considered)
• Implicit dependency: coq coq-reglang (not considered)
• Implicit dependency: coq coq-relation-algebra (not considered)
• Implicit dependency: coq coq-simple-io (not considered)
• Implicit dependency: coq coq-stdpp (not considered)
• Implicit dependency: coq coq-unicoq (not considered)
• Implicit dependency: coq coq-unimath (not considered)
• Implicit dependency: coq coqeal (not considered)
• Implicit dependency: coq coqprime (not considered)
• Implicit dependency: coq flocq (not considered)
• Implicit dependency: coq ott (not considered)
• Implicit dependency: coq ssreflect (not considered)
• Depends: coq aac-tactics
• Depends: coq coq-bignums
• Depends: coq coq-corn
• Depends: coq coq-deriving
• Depends: coq coq-elpi
• Depends: coq coq-ext-lib
• Depends: coq coq-extructures
• Depends: coq coq-gappa
• Depends: coq coq-hammer
• Depends: coq coq-hott
• Depends: coq coq-interval
• Depends: coq coq-libhyps
• Depends: coq coq-math-classes
• Depends: coq coq-menhirlib
• Depends: coq coq-mtac2
• Depends: coq coq-quickchick
• Depends: coq coq-record-update
• Depends: coq coq-reduction-effects
• Depends: coq coq-reglang
• Depends: coq coq-relation-algebra
• Depends: coq coq-simple-io
• Depends: coq coq-stdpp
• Depends: coq coq-unicoq
• Depends: coq coq-unimath
• Depends: coq coqeal
• Depends: coq coqprime
• Depends: coq flocq
• Depends: coq ott
• Depends: coq ssreflect

Excuses generated on: Sun Nov 9 06:25:35 2025 UTC

Maintainer page Package tracker

Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.

Experimental manual migration pseudo-excuses (YAML).

Back to the Debian Project homepage.