Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Missing Isabelle components: Failed to dow...


view this post on Zulip Email Gateway (Oct 11 2021 at 11:21):

From: Tobias Nipkow <nipkow@in.tum.de>
I just updated to 9c04a82c3128 and "isabelle components" tells me that there are
many missing components, but dowloading fails for the first one:

Getting "https://isabelle.sketis.net/components/e-2.6-1.tar.gz"
Failed to download "https://isabelle.sketis.net/components/e-2.6-1.tar.gz"

Since compiling Isabelle (Scala sources) fails, probably because of some missing
component, I am stuck.

Any suggestions anybody?

Tobias
smime.p7s

view this post on Zulip Email Gateway (Oct 11 2021 at 13:17):

From: Tobias Nipkow <nipkow@in.tum.de>
Update: after I downloaded the 10 or so missing components via a browser and
moved them to .isabelle/contrib, everything seems to be back to normal.

Tobias
smime.p7s

view this post on Zulip Email Gateway (Oct 11 2021 at 13:56):

From: Makarius <makarius@sketis.net>
Can you say what your version of macOS is?

I've recently seen problems with HTTPS certificates for old versions, but did
not manage to isolate the problem yet.

Big Sur was fine, as well as various Linux and Windows installations.

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 (Oct 11 2021 at 14:06):

From: Tobias Nipkow <nipkow@in.tum.de>
Mojave 10.14.6

Tobias
smime.p7s

view this post on Zulip Email Gateway (Oct 11 2021 at 14:11):

From: Makarius <makarius@sketis.net>
OK, this is one of the versions that don't work.

I will take another look at the web server for
https://isabelle.sketis.net/components to see if something can be changed with
the certificates. (This will coincide with a general move from Apache + Let's
Encrypt towards Caddy and its automatic certificate management.)

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 (Oct 11 2021 at 14:27):

From: Lawrence Paulson <lp15@cam.ac.uk>
I was able to update without problems. I’m on Big Sur.

Larry

view this post on Zulip Email Gateway (Oct 11 2021 at 15:09):

From: Makarius <makarius@sketis.net>
Yes, this only affects older macOS versions, and there only the "curl" tool.

Here are some more explanations:

https://letsencrypt.org/docs/dst-root-ca-x3-expiration-september-2021

https://letsencrypt.org/docs/certificate-compatibility

After looking through this briefly, I've now produced the following
workaround, to degrade HTTPS in curl on macOS 10.x (everything before Big Sur):

https://isabelle-dev.sketis.net/rISABELLE059743bc8311

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 (Oct 11 2021 at 17:53):

From: Tobias Nipkow <nipkow@in.tum.de>
Makarius, works for me now, thanks.

Tobias
smime.p7s


Last updated: Jul 15 2022 at 23:21 UTC