../ gnome-tweak-tool_3.14.2-2.debian.tar.xz 27-Sep-2017 13:02 3912 gnome-tweak-tool_3.14.2-2.dsc 27-Sep-2017 13:02 2324 gnome-tweak-tool_3.14.2-2_all.deb 27-Sep-2017 13:37 149K gnome-tweak-tool_3.14.2.orig.tar.xz 27-Sep-2017 13:02 237K