Binary: gnome-shell-timer-config

Debian packages that has this binary:

Package: gnome-shell-timer

/usr/bin/gnome-shell-timer-config