(BIN) gnome-shell-timer_0.3.20+20190726-1.debian.tar.xz
 (TXT) gnome-shell-timer_0.3.20+20190726-1.dsc
 (BIN) gnome-shell-timer_0.3.20+20190726-1_all.deb
 (BIN) gnome-shell-timer_0.3.20+20190726.orig.tar.gz