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