[isabelle-dev] Failure to update isabelle repo checkout

Andreas Lochbihler mail at andreas-lochbihler.de
Sun Jun 27 11:25:47 CEST 2021

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?


More information about the isabelle-dev mailing list