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
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
