../ gnome-shell-timer_0.3.20+20190726-1.debian.tar.xz 09-Jun-2026 23:31 7276 gnome-shell-timer_0.3.20+20190726-1.dsc 09-Jun-2026 23:31 1716 gnome-shell-timer_0.3.20+20190726-1_all.deb 09-Jun-2026 23:31 100960 gnome-shell-timer_0.3.20+20190726.orig.tar.gz 09-Jun-2026 23:31 113591