../ gnome-shell-common_3.4.2-5_all.deb 03-Jan-2013 00:32 664304 gnome-shell-dbg_3.4.2-5_armhf.deb 13-Jan-2013 11:05 536086 gnome-shell_3.4.2-5.debian.tar.gz 03-Jan-2013 00:32 30556 gnome-shell_3.4.2-5.dsc 03-Jan-2013 00:32 2591 gnome-shell_3.4.2-5_armhf.deb 13-Jan-2013 11:05 237488 gnome-shell_3.4.2.orig.tar.xz 04-Aug-2012 13:04 1257612