Index of /pub/GNOME/sources/gnome-terminal/3.12

	Name	Last modified	Size
	Parent Directory		-
	gnome-terminal-3.12.0.news	2014-03-24 16:17	108
	gnome-terminal-3.12.3.news	2014-06-23 20:02	120
	gnome-terminal-3.12.1.news	2014-04-26 18:00	143
	gnome-terminal-3.12.2.sha256sum	2014-05-12 21:30	191
	gnome-terminal-3.12.0.sha256sum	2014-03-24 16:17	284
	gnome-terminal-3.12.1.sha256sum	2014-04-26 18:00	284
	gnome-terminal-3.12.3.sha256sum	2014-06-23 20:02	284
	gnome-terminal-3.12.2.changes	2014-05-12 21:29	2.2K
	gnome-terminal-3.12.3.changes	2014-06-23 20:02	4.5K
	gnome-terminal-3.12.1.changes	2014-04-26 18:00	11K
	gnome-terminal-3.12.0.changes	2014-03-24 16:17	23K
	gnome-terminal-3.12.2.tar.xz	2014-05-12 21:30	1.6M
	gnome-terminal-3.12.1.tar.xz	2014-04-26 18:00	1.6M
	gnome-terminal-3.12.0.tar.xz	2014-03-24 16:17	1.6M
	LATEST-IS-3.12.3	2014-06-23 20:02	1.6M
	gnome-terminal-3.12.3.tar.xz	2014-06-23 20:02	1.6M