Pomodoro Timer for GNOME
gnomepomodoro.org