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? Manuel 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 >
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
