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

[Tobias Nipkow]

Makarius, works for me now, thanks.

Tobias

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20211011/a57a0941/attachment-0001.bin>