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:
- Autopkgtest for coq/9.1.0+dfsg-2: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-bignums/9.0.0+coq8.20-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-corn/8.20.0-1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-deriving/0.2.1-1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-dpdgraph/1.0+8.20-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-equations/1.3.1-8.20-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-ext-lib/0.13.0-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-extructures/0.5.0-1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-gappa/1.7.0-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-hammer/1.3.2+8.20-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-hott/9.0-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-interval/4.11.1-1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-iris/4.3.0-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-libhyps/2.0.8-4: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-math-classes/8.19.0-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-menhirlib/20240715+ds-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-mtac2/1.4+8.20-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-quickchick/2.1.0-1.1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-record-update/0.3.4-4: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-reduction-effects/0.1.5-5: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-reglang/1.2.1-4: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-relation-algebra/1.7.11-1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-simple-io/1.11.0-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-stdpp/1.11.0-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-unicoq/1.6-8.20-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-unimath/20240923-2: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coqeal/2.1.0-1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coqprime/8.20.1-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coquelicot/3.4.3-1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for flocq/4.2.1-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for mathcomp-algebra-tactics/1.2.4-1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for mathcomp-analysis/1.9.0-1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for mathcomp-bigenough/1.0.2-1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for mathcomp-finmap/2.1.0-3: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for mathcomp-multinomials/2.3.0-1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for mathcomp-real-closed/2.0.2-1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for mathcomp-zify/1.5.0+2.0+8.16-4: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for ott/0.34+ds-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for paramcoq/1.1.3+coq8.20-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for ssreflect/2.3.0-1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Missing build on riscv64
- Autopkgtest deferred on riscv64: missing arch:riscv64 build
Excuses generated on: Thu Oct 30 14:26:00 2025 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).