../ gnome-shell-common_3.4.2-6_all.deb 17-Jan-2013 09:59 664648 gnome-shell-dbg_3.4.2-6_armhf.deb 01-Feb-2013 11:05 536352 gnome-shell_3.4.2-6.debian.tar.gz 17-Jan-2013 09:59 30961 gnome-shell_3.4.2-6.dsc 17-Jan-2013 09:59 3239 gnome-shell_3.4.2-6_armhf.deb 01-Feb-2013 11:05 235762 gnome-shell_3.4.2.orig.tar.xz 04-Aug-2012 13:04 1257612