Index of /pool/main/g/gedit-latex-plugin

	Name	Last modified	Size
	Parent Directory		-
	gedit-latex-plugin_3.20.0-1.debian.tar.xz	29-Nov-2016 19:38	5.3K
	gedit-latex-plugin_3.20.0-1.dsc	29-Nov-2016 19:38	2.1K
	gedit-latex-plugin_3.20.0-1_all.deb	29-Nov-2016 19:38	212K
	gedit-latex-plugin_3.20.0-2.debian.tar.xz	25-Feb-2021 22:57	7.0K
	gedit-latex-plugin_3.20.0-2.dsc	25-Feb-2021 22:57	2.0K
	gedit-latex-plugin_3.20.0-2_all.deb	25-Feb-2021 23:28	211K
	gedit-latex-plugin_3.20.0.orig.tar.gz	29-Nov-2016 19:38	669K