../ LATEST-IS-3.10.1 12-Nov-2013 20:13 240564 gnome-tweak-tool-3.10.0.news 25-Sep-2013 07:08 92 gnome-tweak-tool-3.10.0.sha256sum 25-Sep-2013 07:08 192 gnome-tweak-tool-3.10.0.tar.xz 25-Sep-2013 07:08 235612 gnome-tweak-tool-3.10.1.news 12-Nov-2013 20:13 370 gnome-tweak-tool-3.10.1.sha256sum 12-Nov-2013 20:13 192 gnome-tweak-tool-3.10.1.tar.xz 12-Nov-2013 20:13 240564