Index of /debian/pool/main/r/redet

	Name	Last modified	Size	Description
	Parent Directory		-
	redet_8.26-1.4_all.deb	2024-01-29 15:19	233K
	redet_8.26-1.5_all.deb	2025-04-03 16:42	233K
	redet-doc_8.26-1.4_all.deb	2024-01-29 15:20	4.8M
	redet-doc_8.26-1.5_all.deb	2025-04-03 17:01	4.8M