I am considering precise obsolete for such updates
gnome-shell-extensions (3.5.4~git20120715.60f0954a-0ubuntu1~12.04~ricotz0) precise; urgency=medium * New git snapshot -- Rico Tzschichholz <email address hidden> Tue, 17 Jul 2012 18:39:25 +0200