Package: gnome-shell-timer Version: 0.0.20120103+gitc7b8d8f-1 Severity: grave Tags: patch Justification: renders package unusable
Dear Maintainer, The extension refuses to load under Gnome Shell 3.4, because it is marked as compatible with Gnome 3.2 only. The fix seems as simple as this upstream commit: https://github.com/olebowle/gnome-shell-timer/commit/bde3fd2492c847113f200a7485864c5a7916f56e Thanks for your work, -- System Information: Debian Release: wheezy/sid APT prefers testing APT policy: (990, 'testing'), (600, 'unstable'), (550, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 3.2.0-2-amd64 (SMP w/8 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages gnome-shell-timer depends on: ii dconf-gsettings-backend [gsettings-backend] 0.12.1-1 ii gnome-shell 3.4.1-5 ii python 2.7.2-10 gnome-shell-timer recommends no packages. gnome-shell-timer suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
