| Parent directory/ | - | - |
| LATEST-IS-3.12.1 | 3276012 | 2014-Apr-15 06:16 |
| LATEST-IS-3.12.2 | 3286824 | 2014-May-13 09:35 |
| gnome-mines-3.12.0.news | 72 | 2014-Mar-25 06:21 |
| gnome-mines-3.12.0.sha256sum | 182 | 2014-Mar-25 06:21 |
| gnome-mines-3.12.0.tar.xz | 3275992 | 2014-Mar-25 06:21 |
| gnome-mines-3.12.1.news | 63 | 2014-Apr-15 06:16 |
| gnome-mines-3.12.1.sha256sum | 182 | 2014-Apr-15 06:16 |
| gnome-mines-3.12.1.tar.xz | 3276012 | 2014-Apr-15 06:16 |
| gnome-mines-3.12.2.news | 63 | 2014-May-13 09:35 |
| gnome-mines-3.12.2.sha256sum | 182 | 2014-May-13 09:35 |
| gnome-mines-3.12.2.tar.xz | 3286824 | 2014-May-13 09:35 |