Package: gnome-shell-timer

• 0.3.20+20171025-2 (main) [buster, sid]
• 0.3.12+20140924-5 (main) [stretch]
• 0.3.12+20140924-1 (main) [jessie, jessie-kfreebsd]