Email Gateway (Jun 27 2021 at 09:25): Email Gateway (Jun 27 2021 at 09:25):From: Andreas Lochbihler <mail@andreas-lochbihler.de>
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
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Jun 27 2021 at 20:42):From: Makarius <makarius@sketis.net>
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
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Jun 28 2021 at 05:46):From: Andreas Lochbihler <mail@andreas-lochbihler.de>
Thanks for sorting this out, Makarius. It works again for me.
Andreas
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Oct 12 2024 at 20:18 UTC