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