[isabelle-dev] Failure to update isabelle repo checkout

Andreas Lochbihler mail at andreas-lochbihler.de
Mon Jun 28 07:46:01 CEST 2021

Thanks for sorting this out, Makarius. It works again for me.


On 27.06.21 22:42, Makarius wrote:
> 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.
> 	Makarius

More information about the isabelle-dev mailing list