58e402e543b72a9590267d69507aec8def708142552ff76a66995bfdd4a7eb10 gnome-mines-3.7.2.news 9e636dd6a4f2844933ab5d5f3d9522fefc54a0d04349f07a178dc2ea8b929107 gnome-mines-3.7.2.tar.xz