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

	Name	Last modified	Size
	Parent Directory		-
	mined_2000.10-2.diff.gz	2005-02-12 19:32	3.4K
	mined_2000.10-2.dsc	2005-02-12 19:32	593
	mined_2000.10-2_i386.deb	2005-02-12 19:32	2.3M
	mined_2000.10-4.diff.gz	2006-08-13 13:17	2.9K
	mined_2000.10-4.dsc	2006-08-13 13:17	588
	mined_2000.10-4_amd64.deb	2006-08-13 13:47	2.3M
	mined_2000.10-4_i386.deb	2006-08-13 13:17	2.2M
	mined_2000.10-5.diff.gz	2006-12-16 21:47	3.4K
	mined_2000.10-5.dsc	2006-12-16 21:47	588
	mined_2000.10-5_amd64.deb	2006-12-17 04:17	2.3M
	mined_2000.10-5_i386.deb	2006-12-16 21:47	2.2M
	mined_2000.10.orig.tar.gz	2005-04-30 19:31	2.9M
	mined_2000.15.4-1.diff.gz	2009-09-26 00:23	71K
	mined_2000.15.4-1.dsc	2009-09-26 00:23	1.0K
	mined_2000.15.4-1_amd64.deb	2009-09-26 00:23	3.4M
	mined_2000.15.4-1_i386.deb	2009-09-26 06:18	3.3M
	mined_2000.15.4.orig.tar.gz	2009-09-26 00:23	4.1M