Index of /pool/main/r/redet

	Name	Last modified	Size	Description
	Parent Directory		-
	redet_8.26-1.3_all.deb	2020-03-30 20:51	229K
	redet_8.26-1.1_all.deb	2017-09-19 18:50	297K
	redet-doc_8.26-1.3_all.deb	2020-03-30 20:27	4.8M
	redet-doc_8.26-1.1_all.deb	2017-09-19 18:48	5.0M