3c831be04bec5a96fe3b22f5e5f32cdd4d78e636bd122816178dc881cc645432 gnome-mines-3.7.5.news ce57a1c75a6e60d3cfb277de40c79816deb73012b5c94ff7695985a41d5ac74e gnome-mines-3.7.5.tar.xz