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
- Migration status for coq-menhirlib (20231231+ds-4 to 20240715+ds-1): Waiting for test results or another package, or too young (no action required now - check later)
- Issues preventing migration:
- ∙ ∙ Too young, only 1 of 2 days old
- ∙ ∙ Depends: coq-menhirlib coq (not considered)
- Additional info:
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coq-menhirlib.html
- ∙ ∙ autopkgtest for coq-menhirlib/20240715+ds-1: amd64: Pass, arm64: Pass, ppc64el: Pass, riscv64: Pass, s390x: Pass
- ∙ ∙ Waiting for reproducibility test results on amd64 - info ♻
- ∙ ∙ Reproducible on arm64 - info ♻
- ∙ ∙ Waiting for reproducibility test results on armhf - info ♻
- ∙ ∙ Required age reduced by 3 days because of autopkgtest
- Not considered
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-menhirlib.png){kind=link}