../ gnome-shell-common_3.4.2-2_all.deb 29-Sep-2012 09:28 662530 gnome-shell-dbg_3.4.2-2_armhf.deb 11-Oct-2012 01:11 534470 gnome-shell_3.4.2-2.debian.tar.gz 29-Sep-2012 09:28 27842 gnome-shell_3.4.2-2.dsc 29-Sep-2012 09:28 2591 gnome-shell_3.4.2-2_armhf.deb 11-Oct-2012 01:11 236966 gnome-shell_3.4.2.orig.tar.xz 04-Aug-2012 13:04 1257612