1984-10-06 /SRI_NIC_PERM_SRC_1_19910112/01/6-monitor/boot.mic 1986-09-11 /clisp/02/clisp/upsala/boot.mic 1988-03-09 /SRI_NIC_PERM_SRC_1_19910112/01/6-1-monitor/boot.mic