[isabelle-dev] Isabelle2021-RC1/2: broken tar balls for Linux?
eberlm at in.tum.de
Tue Jan 12 19:47:04 CET 2021
Indeed, that seems to have been the issue. Earlier the server was down
completely for a while.
Would it be possible to mirror the RCs onto the other servers as well,
as is done for the rest of the website?
On 12/01/2021 13:40, Makarius wrote:
> 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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 5574 bytes
Desc: S/MIME Cryptographic Signature
More information about the isabelle-dev