[isabelle-dev] Broken component: jdk7u40

Lars Hupel hupel at in.tum.de
Tue Sep 17 12:28:04 CEST 2013

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

More information about the isabelle-dev mailing list