Testing: Excuse for coq
- Migration status for coq (8.18.0+dfsg-1 to 8.19.1+dfsg-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- autopkgtest for coq/8.19.1+dfsg-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Pass, s390x: Pass
- autopkgtest for coq-corn/8.19.0-1: amd64: Regression or new test ♻ (reference ♻), arm64: Regression or new test ♻ (reference ♻), i386: Regression or new test ♻ (reference ♻), ppc64el: Regression or new test ♻ (reference ♻), s390x: Regression or new test ♻ (reference ♻)
- autopkgtest for coq-deriving/0.2.0-1: s390x: Regression or new test ♻ (reference ♻)
- autopkgtest for coq-extructures/0.4.0-3: s390x: Regression or new test ♻ (reference ♻)
- autopkgtest for coq-interval/4.10.0-1: arm64: Pass, ppc64el: Pass, s390x: Regression or new test ♻ (reference ♻)
- autopkgtest for coq-quickchick/2.0.2-1: arm64: Pass, i386: Pass, ppc64el: Pass, s390x: Regression or new test ♻ (reference ♻)
- autopkgtest for coq-reglang/1.2.1-1: s390x: Regression or new test ♻ (reference ♻)
- autopkgtest for coq-relation-algebra/1.7.9-2: arm64: Pass, i386: Pass, ppc64el: Pass, s390x: Regression or new test ♻ (reference ♻)
- autopkgtest for coqeal/2.0.1-1: amd64: Regression or new test ♻ (reference ♻), arm64: Regression or new test ♻ (reference ♻), i386: Regression or new test ♻ (reference ♻), ppc64el: Regression or new test ♻ (reference ♻), s390x: Regression or new test ♻ (reference ♻)
- autopkgtest for coquelicot/3.4.1-1: s390x: Regression or new test ♻ (reference ♻)
- autopkgtest for mathcomp-algebra-tactics/1.2.3-1: amd64: Regression or new test ♻ (reference ♻), arm64: Regression or new test ♻ (reference ♻), i386: Regression or new test ♻ (reference ♻), ppc64el: Regression or new test ♻ (reference ♻), s390x: Regression or new test ♻ (reference ♻)
- autopkgtest for mathcomp-analysis/1.0.0-1: amd64: Regression or new test ♻ (reference ♻), arm64: Regression or new test ♻ (reference ♻), i386: Regression or new test ♻ (reference ♻), ppc64el: Regression or new test ♻ (reference ♻), s390x: Regression or new test ♻ (reference ♻)
- autopkgtest for mathcomp-bigenough/1.0.1-12: s390x: Regression or new test ♻ (reference ♻)
- autopkgtest for mathcomp-finmap/2.0.0-2: s390x: Regression or new test ♻ (reference ♻)
- autopkgtest for mathcomp-multinomials/2.2.0-1: amd64: Regression or new test ♻ (reference ♻), arm64: Regression or new test ♻ (reference ♻), i386: Regression or new test ♻ (reference ♻), ppc64el: Regression or new test ♻ (reference ♻), s390x: Regression or new test ♻ (reference ♻)
- autopkgtest for mathcomp-real-closed/2.0.0-1: amd64: Regression or new test ♻ (reference ♻), arm64: Regression or new test ♻ (reference ♻), i386: Regression or new test ♻ (reference ♻), ppc64el: Regression or new test ♻ (reference ♻), s390x: Regression or new test ♻ (reference ♻)
- autopkgtest for mathcomp-zify/1.5.0+2.0+8.16-1: s390x: Regression or new test ♻ (reference ♻)
- autopkgtest for ssreflect/2.1.0-1: s390x: Regression or new test ♻ (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-dpdgraph
- Implicit dependency: coq coq-elpi (not considered)
- Implicit dependency: coq coq-equations
- Implicit dependency: coq coq-ext-lib (not considered)
- Implicit dependency: coq coq-extructures (not considered)
- Implicit dependency: coq coq-gappa
- Implicit dependency: coq coq-hammer
- Implicit dependency: coq coq-hott
- Implicit dependency: coq coq-interval (not considered)
- Implicit dependency: coq coq-libhyps
- Implicit dependency: coq coq-math-classes (not considered)
- Implicit dependency: coq coq-menhirlib
- Implicit dependency: coq coq-mtac2
- Implicit dependency: coq coq-quickchick (not considered)
- Implicit dependency: coq coq-record-update/amd64
- Implicit dependency: coq coq-record-update/arm64
- Implicit dependency: coq coq-record-update/armhf
- Implicit dependency: coq coq-record-update/i386
- Implicit dependency: coq coq-record-update/ppc64el
- Implicit dependency: coq coq-record-update/s390x
- Implicit dependency: coq coq-reduction-effects
- 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
- Implicit dependency: coq coq-unicoq
- Implicit dependency: coq coq-unimath
- Implicit dependency: coq coqeal/amd64 (not considered)
- Implicit dependency: coq coqeal/arm64 (not considered)
- Implicit dependency: coq coqeal/i386 (not considered)
- Implicit dependency: coq coqeal/ppc64el (not considered)
- Implicit dependency: coq coqeal/s390x (not considered)
- Implicit dependency: coq coqprime
- Implicit dependency: coq flocq (not considered)
- Implicit dependency: coq ott
- Implicit dependency: coq paramcoq
- Implicit dependency: coq ssreflect (not considered)
- Additional info:
- Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coq.html
- Ignoring non-reproducibility on amd64 (not a regression) - info ♻
- Ignoring non-reproducibility on arm64 (not a regression) - info ♻
- Ignoring non-reproducibility on armhf (not a regression) - info ♻
- Ignoring non-reproducibility on i386 (not a regression) - info ♻
- 6 days old (needed 5 days)
- Depends: coq aac-tactics
- Depends: coq coq-bignums
- Depends: coq coq-corn
- Depends: coq coq-deriving
- Depends: coq coq-dpdgraph
- Depends: coq coq-elpi
- Depends: coq coq-equations
- 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-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 coqprime
- Depends: coq flocq
- Depends: coq ott
- Depends: coq paramcoq
- Depends: coq ssreflect
Excuses generated on: Wed May 1 19:05:21 2024 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).