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