![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| bin/ | 19-Nov-2002 17:30 | - | |
| dist/ | 16-May-2012 09:41 | - | |
| etc/ | 15-Sep-2004 14:21 | - | |
| historic/ | 04-Jun-2010 18:19 | - | |
| lib/ | 05-Jan-2002 14:45 | - | |
| lost+found/ | 22-Sep-2004 02:00 | - | |
| mail-archives/ | 17-Jan-2003 18:41 | - | |
| mail/ | 30-Jun-2011 00:33 | - | |
| mirror/ | 07-Aug-2011 20:17 | - | |
| tex/ | 25-Apr-2012 19:10 | - | |
| texlive/ | 16-May-2012 04:53 | - | |
| usr/ | 19-Nov-2002 17:30 | - | |