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

Makarius 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:
> 
> 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


More information about the isabelle-dev mailing list