../ gnome-shell-common_3.4.2-7_all.deb 09-Feb-2013 13:44 666384 gnome-shell-dbg_3.4.2-7_armhf.deb 20-Feb-2013 06:38 535792 gnome-shell_3.4.2-7.debian.tar.gz 09-Feb-2013 13:44 33082 gnome-shell_3.4.2-7.dsc 09-Feb-2013 13:44 2893 gnome-shell_3.4.2-7_armhf.deb 20-Feb-2013 06:38 235958 gnome-shell_3.4.2.orig.tar.xz 04-Aug-2012 13:04 1257612