[isabelle-dev] Isabelle2021-RC1/2: broken tar balls for Linux?

Manuel Eberl 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:
>> sha256sum:
>> d4a8cb2efdea75a3ade50ee60809a5b6784312afed6fbc69c3bfc2cbaf1c8689
>> Isabelle2021-RC1_linux.tar.gz
>> 35ae65df3dac03c88256b0d9c48191ab404f879a191c6e9a5e6747fdee88265c
>> Isabelle2021-RC2_linux.tar.gz
> Note that the official sha256sum results are on
> https://isabelle.in.tum.de/website-Isabelle2021-RC2/dist/index.html
> 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.
> 	Makarius

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5574 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20210112/965f2909/attachment.bin>

More information about the isabelle-dev mailing list