priority-extra-is-replaced-by-priority-optional
Since Debian Policy version 4.0.1, the priority extra
has been deprecated.
Please update debian/control and replace all instances of
Priority: extra with Priority: optional.
| Severity: | warning |
| Experimental: | false |
See also
Priorities (Section 2.5) in the Debian Policy Manual
- list of all the affected packages
- the source of this tag