8c84c5b7fc101b7b5d89f41e1dc2dcdc7293367693cdbc35eaecf1d5b84ccde1 gnome-mines-3.19.3.news 9614e6291aa256147bf6077f6fb8f4bbce43ecc2426c69ac2e2301a98f383a63 gnome-mines-3.19.3.tar.xz