../ LATEST-IS-3.25.92 04-Sep-2017 19:00 2M gnome-terminal-3.25.1.sha256sum 25-Apr-2017 11:01 95 gnome-terminal-3.25.1.tar.xz 25-Apr-2017 11:01 2M gnome-terminal-3.25.92.changes 04-Sep-2017 19:00 14K gnome-terminal-3.25.92.sha256sum 04-Sep-2017 19:00 193 gnome-terminal-3.25.92.tar.xz 04-Sep-2017 19:00 2M