Package: gnome-shell-timer
Priority: extra
Section: universe/gnome
Installed-Size: 95
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Raphaël Hertzog <hertzog@debian.org>
Architecture: all
Version: 0.3.12+20140924-3
Depends: gnome-shell (>= 3.12), gnome-shell (<< 3.19), python:any, dconf-gsettings-backend | gsettings-backend
Filename: pool/universe/g/gnome-shell-timer/gnome-shell-timer_0.3.12+20140924-3_all.deb
Size: 15644
MD5sum: 91b53cdc60d89a4aff21a5053f6fb93d
SHA1: bf311a2a0e6b84b2c01120dccfa3ec7b91ed8bc7
SHA256: 6eb8f3ba2ca882e4f3f72ef4afd0002f0461f6a797110cfbf418268e8702b7f1
Description: GNOME Shell extension providing a countdown timer in the top panel
Homepage: https://github.com/olebowle/gnome-shell-timer
Description-md5: 92960d335d4f2063b1b79947eb2fd11a
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu