![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| mined-2000.14.tar.gz | 2007-07-18 06:00 | 3.8M | |
| 2000/ | 2007-08-15 16:49 | - | |
| mined-2000.14-dj.zip | 2007-08-15 16:49 | 252K | |
| mined-2011.17-dos.zip | 2011-06-11 22:11 | 512K | |
| mined-2011.17.tar.gz | 2011-06-14 06:00 | 4.6M | |
| mined-2011.19-dos.zip | 2011-11-12 23:51 | 472K | |
| 2011/ | 2011-11-15 06:00 | - | |
| mined-2011.19.tar.gz | 2011-11-15 06:00 | 4.0M | |
| 2012/ | 2012-05-09 16:32 | - | |
| 2013/ | 2013-09-15 14:09 | - | |
| 2014/ | 2014-07-07 13:16 | - | |