../ gnome-shell-common_3.4.2-3_all.deb 26-Nov-2012 12:18 664416 gnome-shell-dbg_3.4.2-3_armhf.deb 07-Dec-2012 11:30 535596 gnome-shell_3.4.2-3.debian.tar.gz 26-Nov-2012 12:18 29533 gnome-shell_3.4.2-3.dsc 26-Nov-2012 12:18 2591 gnome-shell_3.4.2-3_armhf.deb 07-Dec-2012 11:30 235644 gnome-shell_3.4.2.orig.tar.xz 04-Aug-2012 13:04 1257612