[isabelle-dev] Failure to update isabelle repo checkout

[Andreas Lochbihler]

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

Andreas

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
> 
>