[isabelle-dev] Broken component: jdk7u40

Lawrence Paulson lp15 at cam.ac.uk
Tue Sep 17 13:06:30 CEST 2013

Happened to me too. I deleted the component manually and retried. 


On 17 Sep 2013, at 11:28, "Lars Hupel" <hupel at in.tum.de> 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.
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list