[isabelle-dev] Missing Isabelle components: Failed to download

[Makarius]

On 11/10/2021 16:27, Lawrence Paulson wrote:
> I was able to update without problems. I’m on Big Sur.

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