../ gnome-shell-extension-move-clock_1.01-1.debian...> 23-Oct-2016 22:05 1568 gnome-shell-extension-move-clock_1.01-1.dsc 23-Oct-2016 22:05 2101 gnome-shell-extension-move-clock_1.01-1_all.deb 23-Oct-2016 22:05 2766 gnome-shell-extension-move-clock_1.01.orig.tar.gz 23-Oct-2016 22:05 7868