On 09/17/2013 12:28 PM, 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
I can reproduce that problem locally and on macbroy20. This problem didn't
occur for people who updated on Friday, where the update to 7u40 was
introduced.
Hi Lars,
I also tried to download jdk7u40 today (twice), and ran into the very same
problem.
Maybe someone should check the configuration of the web server?
Greetings,
Stefan
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
