42f282cef305af91127daf310d5402e6a129e025aaf7f0d727776d00b5193d5b gnome-user-docs-3.12.1.news bfd084d72c688d6efb0c34bb572a704cc2ce093c97a33390eaffb5e42158d418 gnome-user-docs-3.12.1.tar.xz