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

Makarius makarius at sketis.net
Mon Oct 11 17:09:22 CEST 2021

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:



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):



More information about the isabelle-dev mailing list