[isabelle-dev] Isabelle2021-RC1/2: broken tar balls for Linux?
makarius at sketis.net
Tue Jan 12 13:40:01 CET 2021
On 12/01/2021 11:03, Manuel Eberl wrote:
> I'm getting some strange errors when trying to extract the tar balls for
> RC1 and RC2 on Linux:
> No idea what is going on here. Any chance the Linux tar balls on the web
> site are corrupt?
> Here are some check sums to compare:
Note that the official sha256sum results are on
My impression is that the webserver at TUM is in a bad state (again), but the
content of the underlying file-system looks good.
I will tell the local admins.
More information about the isabelle-dev