![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| eqsec.sty | 27-May-1998 12:38 | 154 | |
| gxccman.diff | 18-Jul-1998 15:57 | 935 | |
| whois.pl | 28-Jul-1998 02:44 | 1.6K | |
| ext-jfonts.sty | 27-Feb-1999 07:06 | 5.9K | |
| dvipsk-translation.diff | 28-Feb-1999 06:23 | 8.2K | |
| xmms-0.9.5.1-ja.aleph.diff | 03-Jun-2001 20:13 | 98K | |
| datadumper.ml | 10-Sep-2002 05:58 | 3.4K | |