../ DISKA11 04-Aug-1993 05:14 379 gcc245.tgz 04-Aug-1993 05:15 521K gxx245.tgz 04-Aug-1993 05:16 770K ksh.tgz 04-Aug-1993 05:16 60K