77c1a965edf1121ef1b344bf0ffea03e6c84d8bbc5967d8e91b23a2995b28622 gnome-mines-3.19.1.news 1022b3b9e653231bdbd890050c48bdf78bdf765f6c2777edbd7e3c981eae46b1 gnome-mines-3.19.1.tar.xz