../ LATEST-IS-3.9.92 17-Sep-2013 06:12 1676224 gnome-terminal-3.9.90.changes 28-Jul-2013 22:13 3563 gnome-terminal-3.9.90.news 28-Jul-2013 22:13 164 gnome-terminal-3.9.90.sha256sum 28-Jul-2013 22:13 284 gnome-terminal-3.9.90.tar.xz 28-Jul-2013 22:13 1658884 gnome-terminal-3.9.92.sha256sum 17-Sep-2013 06:12 95 gnome-terminal-3.9.92.tar.xz 17-Sep-2013 06:12 1676224