b18792cb372e0761d15882ac06036c31e05b6e2b308ecfc71208c36a95e62c5a gnome-mines-3.13.4.news 81a3a22232c8d9a863b721410be945f4cbbcc6e03f01871d3f3647b946694e8e gnome-mines-3.13.4.tar.xz