| Type | Name | Size | Last modified | Info |
|---|---|---|---|---|
| .. | - | 2022-11-05 16:58:40 | ||
| bin.tar.Z | 1.25K | 1990-08-24 08:00:00 | ||
| lib.tar.Z | 2.21M | 1990-08-24 08:00:00 | ||
| share.tar.Z | 9.62M | 1990-08-24 08:00:00 | ||
| src1.tar.Z | 5.43M | 1990-08-24 08:00:00 | ||
| src2.tar.Z | 3.36M | 1990-08-24 08:00:00 | ||
| texsgi | 204.14K | 1990-08-20 08:00:00 | ||
| texsgi-fonts.tar.Z | 4.7M | 1990-08-20 08:00:00 | ||
| texsgi-src.tar.Z | 78.23K | 1990-08-20 08:00:00 | ||