action needed
Standards version of the package is outdated.
wishlist
The package should be updated to follow the last version of Debian Policy
(Standards-Version 4.7.0 instead of
4.6.2).
testing migrations
-
excuses:
- Migrates after: coq, coq-gappa/amd64, coq-gappa/arm64, coq-gappa/ppc64el, coq-gappa/riscv64, coq-interval
- Migration status for flocq (4.1.4-2 to 4.2.0-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- ∙ ∙ migrating libcoq-flocq/4.2.0-1/s390x to testing makes libcoq-gappa/1.5.5-2+b2/s390x uninstallable
- ∙ ∙ autopkgtest for coq-gappa/1.5.5-2: amd64: Regression or new test ♻ (reference ♻), arm64: Regression or new test ♻ (reference ♻), ppc64el: Regression or new test ♻ (reference ♻), riscv64: Regression or new test ♻ (reference ♻), s390x: Regression or new test ♻ (reference ♻)
- ∙ ∙ autopkgtest for coq-interval/4.11.0-2: amd64: Regression or new test ♻ (reference ♻), ppc64el: Regression or new test ♻ (reference ♻), riscv64: Regression or new test ♻ (reference ♻), s390x: Regression or new test ♻ (reference ♻)
- ∙ ∙ autopkgtest for flocq/4.2.0-1: amd64: Pass, arm64: Pass, ppc64el: Pass, riscv64: Pass, s390x: Pass
- ∙ ∙ Not built on buildd: upload info for arch s390x binaries not found
- ∙ ∙ Too young, only 1 of 5 days old
- ∙ ∙ Depends: flocq coq (not considered)
- ∙ ∙ Implicit dependency: flocq coq-gappa/amd64
- ∙ ∙ Implicit dependency: flocq coq-gappa/arm64
- ∙ ∙ Implicit dependency: flocq coq-gappa/ppc64el
- ∙ ∙ Implicit dependency: flocq coq-gappa/riscv64
- ∙ ∙ Implicit dependency: flocq coq-interval (not considered)
- Additional info:
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/f/flocq.html
- ∙ ∙ Waiting for reproducibility test results on amd64 - info ♻
- ∙ ∙ Reproducible on arm64 - info ♻
- ∙ ∙ Waiting for reproducibility test results on armhf - info ♻
- Not considered
![[bug history graph]](https://qa.debian.org/data/bts/graphs/f/flocq.png){kind=link}