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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
