../ debian-mate-default-settings_1.12.2-1ubuntu0.1_..> 13-Nov-2017 10:58 8022 mate-session-manager-dbg_1.12.2-1ubuntu0.1_amd6..> 13-Nov-2017 10:58 398648 mate-session-manager_1.12.2-1ubuntu0.1_amd64.deb 13-Nov-2017 10:58 281594