../ gnome-shell_3.8.2-1co1.debian.tar.gz 12-Sep-2013 20:31 21388 gnome-shell_3.8.2-1co1.dsc 12-Sep-2013 20:31 2480 gnome-shell_3.8.2.orig.tar.xz 12-Sep-2013 20:31 1512268