7bb930028d826c78bfbde7f6c9f238bf223e0a3cd489e0692c38741a6c84dfaa gnome-devel-docs-3.12.2.news ca542c90247a397a6a8759d917219d67727152b36b41cb8187a43a58bd8f044e gnome-devel-docs-3.12.2.tar.xz