Stream: Coq users

Topic: ✔ OCaml opam repo certificate problem

view this post on Zulip Karl Palmskog (Sep 25 2021 at 13:22):

Just got the following from the OCaml opam repo when I tried opam update:

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.

view this post on Zulip Enrico Tassi (Sep 25 2021 at 14:43):

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

view this post on Zulip Karl Palmskog (Sep 25 2021 at 14:58):

seems to be solved now.

view this post on Zulip Notification Bot (Sep 25 2021 at 14:58):

Karl Palmskog has marked this topic as resolved.

Last updated: Oct 01 2023 at 18:01 UTC