| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| md5.sum | 218 B | 2018-Mar-01 08:14 |
| mined-2015.25-0-src.tar.xz | 3.8 MiB | 2015-Mar-29 08:45 |
| mined-2015.25-0.hint | 924 B | 2015-Oct-07 03:47 |
| mined-2015.25-0.tar.xz | 2.8 MiB | 2015-Mar-29 08:44 |
| sha512.sum | 599 B | 2018-Mar-01 08:14 |