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

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