![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| md5.sum | 08-Jul-2009 11:01 | 413 | |
| mined-2000.14-2-src.tar.bz2 | 16-Aug-2007 00:58 | 3.0M | |
| mined-2000.14-2.tar.bz2 | 18-Aug-2007 02:11 | 3.0M | |
| mined-2000.15.3-0-src.tar.bz2 | 06-Jun-2009 15:06 | 3.2M | |
| mined-2000.15.3-0.tar.bz2 | 06-Jun-2009 15:10 | 3.3M | |
| mined-2000.15.4-0-src.tar.bz2 | 08-Jul-2009 08:42 | 3.2M | |
| mined-2000.15.4-0.tar.bz2 | 08-Jul-2009 08:46 | 3.3M | |
| setup.hint | 25-Apr-2009 12:30 | 923 | |