![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| base.tgz | 1994-11-22 08:32 | 153K |
| base2 | 1994-11-22 08:32 | 2.1K |
| cm.tgz | 1994-11-22 08:32 | 223K |
| dvipsk.tgz | 1994-11-22 08:32 | 141K |
| gsftopk.tgz | 1994-11-22 08:32 | 25K |
| kpathsea.tgz | 1994-11-22 08:32 | 125K |
| latex.tgz | 1994-11-22 08:32 | 431K |
| xdvik.tgz | 1994-11-22 08:32 | 150K |