Happened to me too. I deleted the component manually and retried. --lcp
On 17 Sep 2013, at 11:28, "Lars Hupel" <[email protected]> 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 > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
