1982-01-20 /BB-M836A-BM/01/tools/mic/micprm.rel 1982-01-20 /BB-M836B-BM/01/tools/mic/micprm.rel 1982-01-20 /bb-j710b-bm_tops20_v41_tools/01/tools/mic/micprm.rel 1984-12-25 /SRI_NIC_PERM_SRC_1_19910112/01/6-exec/micprm.rel 1985-07-10 /BB-M836C-BM/01/tools/exec-mods/micprm.rel 1985-07-10 /bb-m836c-bm_tops20_v6_1_tools/01/tools/exec-mods/micprm.rel 1985-11-05 /SRI_NIC_PERM_SRC_1_19910112/01/6-1-exec/micprm.rel 1988-05-27 /bb-m836d-bm/01/tools/exec-mods/micprm.rel 1988-05-27 /tops20_version7_0_tools_tape_clock_tape/01/tools/exec-mods/micprm.rel