6a76bd9da65363d4dd18e14ba78476e89595372aef1f0e0021581c0f368bc1a5 gnome-shell-extensions-3.25.2.news d2eab29d5f48eecd5d60c92d380efd9b989427cde7f95b317e06a0d7881b2775 gnome-shell-extensions-3.25.2.tar.xz