pkgs.loginroot.com
Home
Packages
Binaries
Package: gnome-shell-timer
"
gnome-shell-timer
" package binaries on
Debian
:
/usr/bin/gnome-shell-timer-config
You may install this package on Debian with
apt-get install gnome-shell-timer