Experimental: Pseudo-Excuse for coq
- Migration status for coq (8.20.1+dfsg-1 to 9.1.0+dfsg-3): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- migrating libcoq-stdlib/9.0.0-3+b2/amd64 to unstable makes libcoq-stdpp/1.11.0-1+b8/amd64 uninstallable
- Autopkgtest for coq/9.1.0+dfsg-3: amd64: Test triggered, arm64: Pass, i386: Test triggered, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coq-bignums: ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-bignums/9.0.0+rocq9.1-2: amd64: Regression ♻ (reference ♻), arm64: Reference test triggered, but real test failed already ♻, riscv64: Reference test triggered, but real test failed already ♻
- Autopkgtest for coq-corn/8.20.0-1: amd64: Test triggered, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coq-deriving/0.2.1-1: amd64: Test triggered, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coq-dpdgraph/1.0+8.20-1: amd64: Test triggered, arm64: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coq-equations/1.3.1-8.20-1: amd64: Test triggered, arm64: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coq-ext-lib: ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-extructures/0.5.0-1: amd64: Test triggered, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coq-gappa/1.7.0-1: ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coq-hammer: ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-hott/9.0-1: ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coq-interval/4.11.1-1: amd64: Test triggered, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coq-iris/4.3.0-1: ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coq-libhyps: ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-math-classes: ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-menhirlib: ppc64el: Test triggered, riscv64: Test triggered, s390x: Test triggered
- Autopkgtest for coq-mtac2/1.4+8.20-1: ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coq-quickchick/2.1.0-1.1: amd64: Test triggered, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coq-record-update: ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-reduction-effects: ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-reglang/1.2.1-4: amd64: Test triggered, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coq-relation-algebra/1.7.11-1: amd64: Test triggered, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coq-simple-io: ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-stdpp: ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-unicoq: ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coq-unimath/20240923-2: ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coqeal/2.1.0-1: amd64: Test triggered, arm64: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coqprime/8.20.1-1: ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for coquelicot/3.4.3-1: amd64: Test triggered, arm64: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for flocq: ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for mathcomp-algebra-tactics/1.2.4-1: amd64: Test triggered, arm64: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for mathcomp-analysis/1.9.0-1: amd64: Test triggered, arm64: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for mathcomp-bigenough/1.0.2-1: amd64: Test triggered, arm64: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for mathcomp-finmap/2.1.0-3: amd64: Test triggered, arm64: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for mathcomp-multinomials/2.3.0-1: amd64: Test triggered, arm64: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for mathcomp-real-closed/2.0.2-1: amd64: Test triggered, arm64: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for mathcomp-zify/1.5.0+2.0+8.16-4: amd64: Test triggered, arm64: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for ott/0.34+ds-1: ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for paramcoq/1.1.3+coq8.20-1: amd64: Test triggered, arm64: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for ssreflect/2.3.0-1: ppc64el: Test triggered, riscv64: Pass, s390x: Test triggered
- Autopkgtest for ssreflect/2.5.0-2: amd64: Regression ♻ (reference ♻), arm64: Reference test triggered, but real test failed already ♻
- 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: Wed Feb 18 22:26:05 2026 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).