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

[Manuel Eberl]

I'm getting some strange errors when trying to extract the tar balls for
RC1 and RC2 on Linux:

For RC1 I get this:

tar: Skipping to next header
tar: Exiting with failure status due to previous errors

And for RC2 this:

tar: Skipping to next header
tar: Substituting `.' for empty member name
tar: .: Unknown file type '�', extracted as normal file
tar: .: Cannot open: File exists
tar: Skipping to next header
tar: A lone zero block at 2232786
tar: Exiting with failure status due to previous errors

When opening the archives with file-roller, they look incomplete to me
as well: I don't see a "bin" directory in there, for example.

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

md5sum:
bd6ac8f1ed47237774b06d6a6fb0087c  Isabelle2021-RC1_linux.tar.gz
b23503100adff53b1187bb2d24500cb0  Isabelle2021-RC2_linux.tar.gz

Manuel

-------------- 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/072522c9/attachment.bin>