On Mon, 30 Sep 2013, Stefan Berghofer wrote:
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?
I've had the same problem today and copied the file manually.
My impression is that the web server at TUM does not like really big
files.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
