Package: gnome-shell-timer Architecture: all Version: 0.3.20+20171025-4 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.34), python3:any, dconf-gsettings-backend | gsettings-backend Filename: pool/universe/g/gnome-shell-timer/gnome-shell-timer_0.3.20+20171025-4_all.deb Size: 100088 MD5sum: 58acf9a58e82e9789ab5d019cfe80f59 SHA1: 2bae5ab7fd1de627e77ed7376257eaf829d67b7a SHA256: 8108806ef97d2ecb9e1b48a12d6bb32b43588b96cc5dbace7239144282537a87 Homepage: https://github.com/olebowle/gnome-shell-timer Description: GNOME Shell extension providing a countdown timer in the top panel Description-md5: 92960d335d4f2063b1b79947eb2fd11a