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: Feb 01 2023 at 11:04 UTC