LIB-DEFN ::= lib-defn LIB-NAME LIB-ITEM*
LIB-ITEM ::= SPEC-DEFN | VIEW-DEFN
| ARCH-SPEC-DEFN | UNIT-SPEC-DEFN
| DOWNLOAD-ITEMS
DOWNLOAD-ITEMS ::= download-items LIB-NAME ITEM-NAME-OR-MAP+
ITEM-NAME-OR-MAP ::= ITEM-NAME | ITEM-NAME-MAP
ITEM-NAME-MAP ::= item-name-map ITEM-NAME ITEM-NAME
ITEM-NAME ::= SIMPLE-ID
LIB-NAME ::= LIB-ID | LIB-VERSION
LIB-ID ::= DIRECT-LINK | INDIRECT-LINK
DIRECT-LINK ::= direct-link URL
INDIRECT-LINK ::= indirect-link SIMPLE-ID+
LIB-VERSION ::= lib-version LIB-ID VERSION
VERSION ::= version NUMBER+
