Name Last modified Size Parent Directory - mined_2000.10-5.dsc 2006-12-20 14:04 588 mined_2000.10-5.diff.gz 2006-12-20 14:04 3.4K mined_2000.10.orig.tar.gz 2005-04-13 15:45 2.9M