../ gnome-shell-extension-move-clock_1.01-2.debian...> 25-Oct-2019 20:03 1732 gnome-shell-extension-move-clock_1.01-2.dsc 25-Oct-2019 20:03 2170 gnome-shell-extension-move-clock_1.01-2_all.deb 25-Oct-2019 21:38 3020 gnome-shell-extension-move-clock_1.01.orig.tar.gz 02-Nov-2016 03:23 7868