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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
