[isabelle-dev] Missing Isabelle components: Failed to download
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