Index of /pub/gnome/sources/gtksourceview/4.2

	Name	Last modified	Size	Description
	Parent Directory		-
	LATEST-IS-4.2.0	2019-03-16 02:52	1.3M
	gtksourceview-4.2.0.news	2019-03-16 02:52	733
	gtksourceview-4.2.0.sha256sum	2019-03-16 02:52	184
	gtksourceview-4.2.0.tar.xz	2019-03-16 02:52	1.3M