Experimental: Pseudo-Excuse for rocq-stdlib
- Migration status for rocq-stdlib (- to 9.0.0-3): Waiting for test results or another package, or too young (no action required now - check later)
- Issues preventing migration:
- Autopkgtest for coq-bignums: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-corn: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-deriving: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-ext-lib: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-extructures: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-gappa: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-hammer: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-hott: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-interval: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-libhyps: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-math-classes: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-menhirlib: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-mtac2: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-quickchick: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-record-update: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-reduction-effects: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-reglang: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-relation-algebra: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-simple-io: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-stdpp: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-unicoq: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coq-unimath: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coqeal: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for coqprime: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for flocq: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for ott: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Autopkgtest for ssreflect: amd64: Test triggered, arm64: Test triggered, ppc64el: Test triggered
- Build-Depends(-Arch): rocq-stdlib coq (not considered)
- Depends: rocq-stdlib coq
Excuses generated on: Thu Feb 12 10:26:12 2026 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).