Please upload: wget http://mintty.googlecode.com/files/mintty-0.5.8-1.tar.bz2 wget http://mintty.googlecode.com/files/mintty-0.5.8-1-src.tar.bz2 0.5.6-1 can be deleted. Thanks, Andy