../ gnome-shell-common_3.14.4-1~deb8u1_all.deb 29-May-2015 15:35 644782 gnome-shell-dbg_3.14.4-1~deb8u1_armhf.deb 07-Jun-2015 16:08 784240 gnome-shell_3.14.4-1~deb8u1.debian.tar.xz 29-May-2015 15:35 21832 gnome-shell_3.14.4-1~deb8u1.dsc 29-May-2015 15:35 3491 gnome-shell_3.14.4-1~deb8u1_armhf.deb 07-Jun-2015 16:08 591372 gnome-shell_3.14.4.orig.tar.xz 14-Apr-2015 08:05 1597744