BUG #1727: Corrupt Zip file?

The following bug has been logged online:

Bug reference: 1727
Logged by: Robert Zahm
Email address: robzahm@hotmail.com
PostgreSQL version: 8.0.3
Operating system: Windows 2000
Description: Corrupt Zip file?
Details:

I an unable to unzip the .zip file for the 8.0.3 download. I
receive the following error from winzip: The CRC is 9822df6f,
it should be c1ddd3d1.

I was able to download and unzip 8.0 and 8.0.2 without any
issues. I downloaded the 8.0.3 zip file 3 times.

Which mirror did you download this file from? If you've always tried the
same, please try another one.

A bad version of this file was initially uploaded at the 8.0.3 release,
but it was replaced with a correct one a long time ago. Perhaps there is
a mirror out there that hasn't picked up the change for some reason.

//Magnus