Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Failure to update isabelle repo checkout


view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip 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: Mar 04 2024 at 10:08 UTC