Index of /debian/pool/main/m/mined

	Name	Last modified	Size	Description
	Parent Directory		-
	mined_2000.10.orig.tar.gz	10-Feb-2005 19:17	2.9M
	mined_2000.10-4.diff.gz	13-Aug-2006 13:17	2.9K
	mined_2000.10-4.dsc	13-Aug-2006 13:17	588
	mined_2000.10-4_i386.deb	13-Aug-2006 13:17	2.2M
	mined_2000.10-4_amd64.deb	13-Aug-2006 13:47	2.3M
	mined_2000.10-5.diff.gz	16-Dec-2006 21:47	3.4K
	mined_2000.10-5.dsc	16-Dec-2006 21:47	588
	mined_2000.10-5_i386.deb	16-Dec-2006 21:47	2.2M
	mined_2000.10-5_amd64.deb	17-Dec-2006 04:17	2.3M