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
