Zoe Paraskevopoulou (Nov 02 2021 at 22:16): 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!
Paolo Giarrusso (Nov 03 2021 at 00:16):if “60” is an errno, it stands for “time out”. Can you reach opam.ocaml.org?
Paolo Giarrusso (Nov 03 2021 at 00:18):and does /usr/bin/curl https://opam.ocaml.org manage to connect?
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.
Paolo Giarrusso (Nov 03 2021 at 00:58):(so maybe it'd show up elsewhere too for that host)
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.
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: Sep 09 2024 at 06:02 UTC