../ gnome-shell-common_3.20.4-0ubuntu2~ubuntu16.04...> 13-Feb-2019 19:22 593796 gnome-shell-dbg_3.18.4-0ubuntu3_mips64el.deb 13-Feb-2019 19:22 1015440 gnome-shell_3.20.4-0ubuntu2~ubuntu16.04.1nova7_..> 13-Feb-2019 19:23 633284