../ LATEST-IS-3.9.92 17-Sep-2013 14:37 9901332 gnome-user-docs-3.9.90.news 20-Aug-2013 02:14 943 gnome-user-docs-3.9.90.sha256sum 20-Aug-2013 02:15 190 gnome-user-docs-3.9.90.tar.xz 20-Aug-2013 02:15 9790916 gnome-user-docs-3.9.92.news 17-Sep-2013 14:37 396 gnome-user-docs-3.9.92.sha256sum 17-Sep-2013 14:37 190 gnome-user-docs-3.9.92.tar.xz 17-Sep-2013 14:37 9901332