If it was just a delay in the file being released, I'd maybe go with that.
Because it is a delay in the file being released and a factual error in the version number displayed on the upload form that the developer might be using to make sure they have uploaded the correct file...
It's a bug.