[isabelle-dev] Broken component: jdk7u40

Makarius makarius at sketis.net
Mon Sep 30 14:02:44 CEST 2013

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 


More information about the isabelle-dev mailing list