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

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