../ gnome-shell-timer_0.3.20+20171025-ok1.debian.ta..> 30-Oct-2025 11:20 1996 gnome-shell-timer_0.3.20+20171025-ok1.dsc 30-Oct-2025 11:20 1910 gnome-shell-timer_0.3.20+20171025.orig.tar.gz 30-Oct-2025 11:20 113542