diff options
Diffstat (limited to 'schemas/packages.xsd')
| -rw-r--r-- | schemas/packages.xsd | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/schemas/packages.xsd b/schemas/packages.xsd index 849be41e2..4a9881a8f 100644 --- a/schemas/packages.xsd +++ b/schemas/packages.xsd @@ -226,6 +226,25 @@ </xsd:documentation> </xsd:annotation> </xsd:attribute> + <xsd:attribute type="xsd:integer" name="priority"> + <xsd:annotation> + <xsd:documentation> + The priority of the source. This is used to order the + sources. After sorting, the first source, that could + deliver the package, is used. If not supplied the default + priority is 500. + </xsd:documentation> + </xsd:annotation> + </xsd:attribute> + <xsd:attribute type="xsd:string" name="pin"> + <xsd:annotation> + <xsd:documentation> + Extra information for pinning. This information is used + to differ between the sources. Should be used in the + supported format of apt. + </xsd:documentation> + </xsd:annotation> + </xsd:attribute> <xsd:attributeGroup ref="py:genshiAttrs"/> </xsd:complexType> |