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: Pass, arm64: Pass
- Autopkgtest for coq-bignums/9.0.0+rocq9.1-2: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻)
- Autopkgtest for coq-stdpp: amd64: Test deferred
- Implicit dependency: coq aac-tactics (not considered)
- Implicit dependency: coq coq-bignums (not considered)
- Implicit dependency: coq coq-ext-lib (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-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-record-update (not considered)
- Implicit dependency: coq coq-reduction-effects (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 coqprime (not considered)
- Implicit dependency: coq flocq (not considered)
- Implicit dependency: coq ott (not considered)
- Depends: coq aac-tactics
- Depends: coq coq-bignums
- Depends: coq coq-ext-lib
- Depends: coq coq-gappa
- Depends: coq coq-hammer
- Depends: coq coq-hott
- Depends: coq coq-libhyps
- Depends: coq coq-math-classes
- Depends: coq coq-menhirlib
- Depends: coq coq-mtac2
- Depends: coq coq-record-update
- Depends: coq coq-reduction-effects
- Depends: coq coq-simple-io
- Depends: coq coq-stdpp
- Depends: coq coq-unicoq
- Depends: coq coq-unimath
- Depends: coq coqprime
- Depends: coq flocq
- Depends: coq ott
Excuses generated on: Sat Jun 6 22:24:52 2026 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).