../ bin.tar.Z 24-Aug-1990 00:00 1279 lib.tar.Z 24-Aug-1990 00:00 2319297 share.tar.Z 24-Aug-1990 00:00 10083993 src1.tar.Z 24-Aug-1990 00:00 5693049 src2.tar.Z 24-Aug-1990 00:00 3520007 texsgi 20-Aug-1990 00:00 209044 texsgi-fonts.tar.Z 20-Aug-1990 00:00 4924208 texsgi-src.tar.Z 20-Aug-1990 00:00 80107