Package: gnome-shell-timer Version: 0.0.20120615+gitbde3fd2-1 Installed-Size: 151 Maintainer: Raphaël Hertzog <hertzog@debian.org> Architecture: all Depends: gnome-shell (>= 3.2), python, dconf-gsettings-backend | gsettings-backend Description: GNOME Shell extension providing a countdown timer in the top panel Homepage: https://github.com/olebowle/gnome-shell-timer Description-md5: 92960d335d4f2063b1b79947eb2fd11a Section: gnome Priority: extra Filename: pool/main/g/gnome-shell-timer/gnome-shell-timer_0.0.20120615+gitbde3fd2-1_all.deb Size: 16932 MD5sum: 86b324fd20f49252547cbdfeefba7d61 SHA1: 459e45382c965766e3767d2ea47f2db271debcdf SHA256: 801e32e2aace6ababc10596c08e1057ef04aaa0b6db2129e24dbd004331e62c6