Index of /ubuntu/pool/universe/j/jed-extra

	Name	Last modified	Size
	Parent Directory		-
	jed-extra_2.5.6-2.debian.tar.gz	30-Apr-2012 17:55	24K
	jed-extra_2.5.6-2.dsc	30-Apr-2012 17:55	1.3K
	jed-extra_2.5.6-2_all.deb	01-May-2012 01:34	549K
	jed-extra_2.5.6-3.debian.tar.xz	11-Jun-2014 05:50	21K
	jed-extra_2.5.6-3.dsc	11-Jun-2014 05:50	1.9K
	jed-extra_2.5.6-3_all.deb	11-Jun-2014 05:50	430K
	jed-extra_2.5.6.orig.tar.gz	04-Jan-2010 18:05	552K
	jed-extra_2.5.7-2.debian.tar.xz	01-Nov-2016 21:51	76K
	jed-extra_2.5.7-2.dsc	01-Nov-2016 21:51	1.8K
	jed-extra_2.5.7-2_all.deb	02-Nov-2016 06:34	440K
	jed-extra_2.5.7-4.debian.tar.xz	21-Nov-2021 10:19	81K
	jed-extra_2.5.7-4.dsc	21-Nov-2021 10:19	2.1K
	jed-extra_2.5.7-4_all.deb	21-Nov-2021 10:39	447K
	jed-extra_2.5.7-9.debian.tar.xz	13-Dec-2022 10:19	81K
	jed-extra_2.5.7-9.dsc	13-Dec-2022 10:19	2.1K
	jed-extra_2.5.7-9_all.deb	13-Dec-2022 10:44	445K
	jed-extra_2.5.7.orig.tar.gz	25-Jul-2016 05:40	554K