| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| old/ | 2012-05-04 07:59 | - | ||
| mined-2000.14-dj.zip | 2012-05-04 08:04 | 252K | ||
| mined-2011.19-dos.zip | 2012-05-04 08:05 | 472K | ||
| mined-2012.21-dos.zip | 2012-05-04 08:06 | 540K | ||
| mined-2000.14.tar.gz | 2012-05-04 08:04 | 3.8M | ||
| mined-2011.19.tar.gz | 2012-05-04 08:05 | 4.0M | ||
| mined-2012.21.tar.gz | 2012-05-04 08:06 | 6.2M | ||