Just got the following from the OCaml opam repo when I tried
ERROR: cannot verify opam.ocaml.org's certificate, issued by ‘CN=R3,O=Let's Encrypt,C=US’: Issued certificate has expired
This will likely affect anyone trying to install a stable version of Coq.
You should probably open a ticket here https://github.com/ocaml/opam-repository/issues
Let's encrypt certificates are typically updated by a cron job, I guess there was an hiccup there...
seems to be solved now.
Karl Palmskog has marked this topic as resolved.
Last updated: Oct 01 2023 at 18:01 UTC