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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
