Index of /debian/pool/main/d/digitools

	Name	Last modified	Size	Description
	Parent Directory		-
	digitools_1.03.orig...>	2008-05-22 14:02	20K
	digitools_1.03-1.2.dsc	2013-06-04 14:30	1.7K
	digitools_1.03-1.2.d..>	2013-06-04 14:30	4.0K
	digitools_1.03-1.2+b..>	2019-07-29 08:44	16K