Index of /pool/main/r/redet

	Name	Last modified	Size
	Parent Directory		-
	redet-doc_8.26-1.3_all.deb	27-Apr-2018 11:04	4.8M
	redet-doc_8.26-1.4_all.deb	06-Jan-2021 18:27	4.8M
	redet-doc_8.26-1.5_all.deb	26-Apr-2022 08:29	4.8M
	redet_8.26-1.3.diff.gz	27-Apr-2018 11:04	3.8K
	redet_8.26-1.3.dsc	27-Apr-2018 11:04	1.7K
	redet_8.26-1.3_all.deb	27-Apr-2018 11:04	233K
	redet_8.26-1.4.diff.gz	06-Jan-2021 16:54	3.9K
	redet_8.26-1.4.dsc	06-Jan-2021 16:54	1.7K
	redet_8.26-1.4_all.deb	06-Jan-2021 18:27	233K
	redet_8.26-1.5.debian.tar.xz	16-Apr-2022 07:40	3.9K
	redet_8.26-1.5.dsc	16-Apr-2022 07:40	1.7K
	redet_8.26-1.5_all.deb	26-Apr-2022 08:29	233K
	redet_8.26.orig.tar.gz	02-Feb-2009 23:02	5.3M