7dfdc9f1d97382ed17a9054f8a911e00ae554f8301b546c2cfe6812e09a03e57 gnome-online-miners-3.9.5.news 4db124b5871c80109f5ac46c77c7b212bdf6751307917687016d713aae369512 gnome-online-miners-3.9.5.tar.xz