[isabelle-dev] Failure to update isabelle repo checkout

Makarius makarius at sketis.net
Sun Jun 27 22:42:47 CEST 2021

On 27/06/2021 11:25, Andreas Lochbihler wrote:
> Hi Makarius,
> I'm trying to update my local clone of the Isabelle dev repo to the latest tip
> (0a12ca4f3e8d). When I try to run Admin/init -u, I get the error that the
> components cannot be downloaded:
> Getting "https://isabelle.sketis.net/components/gnu-utils-20210414.tar.gz"
> Failed to download
> "https://isabelle.sketis.net/components/gnu-utils-20210414.tar.gz"
> Is this a known server problem or something wrong on my end?

It is a mount problem on my server: there is a bit too much complexity with a
remote file-system for the components. It should work now, but I will change
that eventually to make it more robust.

There is also https://isabelle.in.tum.de/components but it has been
unreachable for other reasons.


More information about the isabelle-dev mailing list