Stream: Coq devs & plugin devs

Topic: opam update fails


view this post on Zulip Zoe Paraskevopoulou (Nov 02 2021 at 22:16):

Hello! I'm getting the following error when I try to do opam update or add the released repo to opam.

[ERROR] Could not update repository "default": OpamDownload.Download_fail(_, "Curl failed: \"/usr/bin/curl --write-out %{http_code}\\\\n --retry 3 --retry-delay 2 --user-agent opam/2.0.8 -L -o
        /private/tmp/opam-38607-5a61c5/index.tar.gz.part https://opam.ocaml.org/index.tar.gz\" exited with code 60")

Does anyone have an idea what may be the issue? Thank you!

view this post on Zulip Paolo Giarrusso (Nov 03 2021 at 00:16):

if “60” is an errno, it stands for “time out”. Can you reach opam.ocaml.org?

view this post on Zulip Paolo Giarrusso (Nov 03 2021 at 00:18):

and does /usr/bin/curl https://opam.ocaml.org manage to connect?

view this post on Zulip Paolo Giarrusso (Nov 03 2021 at 00:57):

generally, it seems a network problem, but not sure why it’d show up only in opam and not elsewhere.

view this post on Zulip Paolo Giarrusso (Nov 03 2021 at 00:58):

(so maybe it'd show up elsewhere too for that host)

view this post on Zulip Karl Palmskog (Nov 03 2021 at 09:34):

this is not a problem with the Coq opam repo, but the general OCaml one. It seems they occasionally have glitches in availability, probably due to load. My guess is that opam-related files are not served from the same server as the web pages, so web availability may not always give hints.

view this post on Zulip Zoe Paraskevopoulou (Nov 03 2021 at 15:57):

Thank you Paolo and Karl. The problem was an expired SSL certificate that I had to delete from my CA file.


Last updated: Feb 06 2023 at 19:03 UTC