On Thu, Nov 01, 2007 at 02:58:42PM +0100, Przemys?aw Pawe?czyk wrote:

quoted text
>

> I dloaded the file from two different servers.

> Here's what I got running md5sum:

>

> 1) MD5s for downloaded files

> md5sum install42.iso

> 03dc43a1d18d3003843a1f13b3861917  install42.iso

>

> Just for checking:

> md5sum cd42.iso

> 7d4ba197d25088a4ad487f2830028c8d  cd42.iso

>

> 2) The numbers from MD5 official file:

> MD5 (install42.iso) = b3a80c9010716ebc997571a1609cf334

>

> Just for checking:

> MD5 (cd42.iso) = 7d4ba197d25088a4ad487f2830028c8d

>

> What should I do? To burn it or not to burn?

To clarify, the md5sum on the files you downloaded from two different

servers were identical with each other (eliminating download problem)

but different from what is stated in the MD5 file.
If this is not true and each download produced a different MD5, try

using rsync to an rsync server to fix the iso file you downloaded.
Doug.