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

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