[isabelle-dev] Missing Isabelle components: Failed to download
nipkow at in.tum.de
Mon Oct 11 19:53:30 CEST 2021
Makarius, works for me now, thanks.
On 11/10/2021 17:09, Makarius wrote:
> 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):
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
More information about the isabelle-dev