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

From: Beman Dawes (bdawes_at_[hidden])
Date: 2004-02-07 09:30:08

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