Package: gnome-shell-timer
Architecture: all
Version: 0.3.20+20171025-4
Priority: extra
Section: universe/gnome
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Raphaël Hertzog <hertzog@debian.org>
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