Package: gnome-shell-timer Architecture: all Version: 0.3.20+20171025-2 Priority: extra Section: universe/gnome Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Raphaƫl Hertzog Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 191 Depends: gnome-shell (>= 3.12), python:any, dconf-gsettings-backend | gsettings-backend Filename: pool/universe/g/gnome-shell-timer/gnome-shell-timer_0.3.20+20171025-2_all.deb Size: 100048 MD5sum: a904f01b81c55ef9a6f1ba226e07288b SHA1: ec6085a5feb417ff342a5c69ea4390529f6f395e SHA256: d7150db86032323cf79c63e7f305c18f34a5de6537775fd7abfab3daa8336452 Homepage: https://github.com/olebowle/gnome-shell-timer Description: GNOME Shell extension providing a countdown timer in the top panel Description-md5: 92960d335d4f2063b1b79947eb2fd11a