../ gnome-terminal-data_3.18.2-3_all.deb 15-Dec-2015 16:32 1M gnome-terminal-data_3.20.2-10_all.deb 05-Aug-2016 15:50 1M gnome-terminal-extension_3.18.2-3_alpha.deb 15-Dec-2015 16:32 543K gnome-terminal_3.18.2-3_alpha.deb 15-Dec-2015 16:32 656K gnome-terminal_3.20.2-10_sw_64.deb 05-Aug-2016 15:50 697K