Name Last modified Size Description Parent Directory - 00index.txt 1993-12-01 22:49 104 diska10 1993-12-01 22:49 264 gcc245.tgz 1993-12-01 22:49 521K gxx245.tgz 1993-12-01 23:05 769K