Public Mirrors
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | |
![[ ]](/icons/unknown.gif){kind=icon} | diska9 | 1993-07-27 05:05 | 410 |
![[ ]](/icons/compressed.gif){kind=icon} | f2c.tgz | 1993-04-18 07:34 | 148K |
| ghostscr.tgz | 1993-04-18 07:16 | 375K |
| gsfonts1.tgz | 1993-04-18 07:17 | 376K |
| ncurses.tgz | 1993-07-27 05:04 | 226K |
| trn25.tgz | 1993-04-18 07:19 | 189K |