Name Last modified Size Description
Parent Directory -
gnome-terminal-3.12.0.news 24-Mar-2014 17:17 108
gnome-terminal-3.12.3.news 23-Jun-2014 21:02 120
gnome-terminal-3.12.1.news 26-Apr-2014 19:00 143
gnome-terminal-3.12.2.sha256sum 12-May-2014 22:30 191
gnome-terminal-3.12.0.sha256sum 24-Mar-2014 17:17 284
gnome-terminal-3.12.1.sha256sum 26-Apr-2014 19:00 284
gnome-terminal-3.12.3.sha256sum 23-Jun-2014 21:02 284
gnome-terminal-3.12.2.changes 12-May-2014 22:29 2.2K
gnome-terminal-3.12.3.changes 23-Jun-2014 21:02 4.5K
gnome-terminal-3.12.1.changes 26-Apr-2014 19:00 11K
gnome-terminal-3.12.0.changes 24-Mar-2014 17:17 23K
gnome-terminal-3.12.2.tar.xz 12-May-2014 22:30 1.6M
gnome-terminal-3.12.1.tar.xz 26-Apr-2014 19:00 1.6M
gnome-terminal-3.12.0.tar.xz 24-Mar-2014 17:17 1.6M
LATEST-IS-3.12.3 23-Jun-2014 21:02 1.6M
gnome-terminal-3.12.3.tar.xz 23-Jun-2014 21:02 1.6M
Apache/2.2 Server at ftp.ntua.gr Port 80