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