8427deed56554a8c09d0f50efcf7af4257e3580571e85ecb6189e5dc6018d4e6 gnome-mines-3.15.4.news ef6c92e0a611eb69d44635f18668afb31eee911345928b5240044acc905e4c87 gnome-mines-3.15.4.tar.xz