[boost] Is the release boost_1_31_0.tar.gz file OK?

I've had a report that boost_1_31_0.tar.gz gets a checksum error halfway through unzipping. Has anyone else had a problem? Or used the file successfully? --Beman