Lars Hupel wrote: > I was trying to update to the repository version today, but: > > $ bin/isabelle components -a > ### Missing Isabelle component: "/home/lars/.isabelle/contrib/jdk-7u40" > Getting "http://isabelle.in.tum.de/components/jdk-7u40.tar.gz"; > Unpacking "/home/lars/.isabelle/contrib/jdk-7u40.tar.gz" > tar: Skipping to next header > tar: A lone zero block at 840553 > tar: Exiting with failure status due to previous errors
This happens here, too. I have two copies of the jdk-7u40.tar.gz file, one three days old, with sha1sum dd24d63afd6d17b29ec9cb2b2464d4ff2e02de2c and one downloaded today with sha1sum 246651f97aacf79b9833ff8988bb1f5e7263037b The latter file produces the error from above when unpacked. Re-downloading doesn't help; the file checksum stays the same. The two files are almost identical; they have the same size, and just a few bytes differ in the 8kb block starting at offset 185348096. Bertram _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
