Index of /debian/pool/main/d/docdiff

	Name	Last modified	Size
	Parent Directory		-
	docdiff_0.5.0+git20160313-1_all.deb	2016-03-13 07:23	104K
	docdiff_0.6.0-1_all.deb	2020-10-25 03:50	104K
	docdiff_0.6.0-2_all.deb	2022-10-17 13:29	102K