e5a7ec6988881d1f3e2c1f8b8887344c40e8d17d3165ebae6b59a59444f81f70 gnome-mines-3.17.2.news 21a08ee71c29131e71890a4551660e62128dba67bf68f3dda67dbe656b583163 gnome-mines-3.17.2.tar.xz