Package: gnome-shell-timer
Priority: extra
Section: universe/gnome
Installed-Size: 151
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Raphaël Hertzog <hertzog@debian.org>
Architecture: all
Version: 0.0.20130422-1
Depends: gnome-shell (>= 3.2), python:any, dconf-gsettings-backend | gsettings-backend
Filename: pool/universe/g/gnome-shell-timer/gnome-shell-timer_0.0.20130422-1_all.deb
Size: 17436
MD5sum: 4ded0c486977d05e9abd206579da5eaf
SHA1: 4e6ee2f33120415a6a9dbb5482be15c860a9917c
SHA256: 0e3f66ca89e54d017840606cf2b1c116770a184b612c31c7c6e02425844327aa
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