[isabelle-dev] Repository version of Isabelle on Windows 7

Makarius makarius at sketis.net
Fri Oct 30 18:38:52 CET 2015


On Fri, 30 Oct 2015, Anders Schlichtkrull wrote:

> Unpacking "/cygdrive/c/Users/Anders/.isabelle/contrib/csdp-6.x.tar.gz"
> tar: This does not look like a tar archive
>
> gzip: stdin: unexpected end of file
> tar: Child returned status 1
> tar: Error is not recoverable: exiting now
>
> You see that I get an error. Why does this happen and what can I do to solve the problem?

Somehow the downloaded csdp-6.x.tar.gz came out as corrupted.  Just delete 
that file and try "isabelle components -a" again.

If the problem persists, you should look more closely at the content of 
/cygdrive/c/Users/Anders/.isabelle/contrib/


 	Makarius



More information about the isabelle-dev mailing list