Index of /Public/GNOME/sources/gnome-terminal/3.37

	Name	Last modified	Size
	Parent Directory		-
	LATEST-IS-3.37.90	2020-08-08 22:03	2.4M
	gnome-terminal-3.37.90.changes	2020-08-08 22:03	12K
	gnome-terminal-3.37.90.sha256sum	2020-08-08 22:03	193
	gnome-terminal-3.37.90.tar.xz	2020-08-08 22:03	2.4M