So it seems. I believe it was even a completely different unmentioned hash.
In an attempt to re-download, I tried removing that file. That appears to have been a very bad idea though. While it did result in unblocking the upgrade and lead to both HaikuDepot and pkgman claiming the system to have all updates, it also led to a state where the system no longer boots. (Boot volume is not valid)
Please be careful to not repeat my mistake here!