Are there wrong SHA256 numbers on your download page???

[Torbjorn Granlund]

Uwe Mueller <uwe-mueller.privat at arcor.de> writes:

  I have just downloaded the file gmp-4.3.1.tar.bz2 and calculated
  the SHA1 and SHA256 sums in order to check the integrity of the
  file. While the SHA1 sum coincides with the one mentioned on your
  download page, the SHA256 is different. Then, for checking,
  I downloaded also gmp-4.3.1.tar.gz with the same result.
  Next, I checked using the other server: the files are identical on
  both servers.
  
The SHA256 sums were for the previous release.  I've now updated them.

-- 
Torbjörn