Package: gnome-shell-timer (0.3.20+20171025-4) [universe]

Links for gnome-shell-timer

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package gnome-shell-timer:

• [gnome-shell-timer_0.3.20+20171025-4.dsc]
• [gnome-shell-timer_0.3.20+20171025.orig.tar.gz]
• [gnome-shell-timer_0.3.20+20171025-4.debian.tar.xz]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

• Raphaël Hertzog

It should generally not be necessary for users to contact the original maintainer.

External Resources:

• Homepage [github.com]

Similar packages:

• gnome-shell-extension-redshift
• gnome-shell-extension-weather
• gnome-shell-extensions-gpaste
• gnome-shell-extension-gpaste
• gnome-shell-extension-onboard
• gnome-shell-extension-ubuntu-tiling-assistant
• gnome-shell-mailnag
• gnome-shell-extension-xrdesktop
• gnome-shell-extension-arc-menu
• gnome-shell-extension-bluetooth-quick-connect
• gnome-shell-extension-caffeine

Other Packages Related to gnome-shell-timer

• dep: dconf-gsettings-backend

  simple configuration storage system - GSettings back-end

  or gsettings-backend

  virtual package provided by dconf-gsettings-backend

• dep: gnome-shell (>= 3.34)

  graphical shell for the GNOME desktop

• dep: python3

  interactive high-level object-oriented language (default python3 version)

Download gnome-shell-timer