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:
- Migration status for coq-doc (8.18.0-1 to 8.19.1-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 5 days old
- Additional info:
- ∙ ∙ Cannot be tested by piuparts (not a blocker) - (no link yet)
- Not considered