Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

opam.ocaml.org certificate has expired #16373

Closed
jfeser opened this issue May 7, 2020 · 3 comments
Closed

opam.ocaml.org certificate has expired #16373

jfeser opened this issue May 7, 2020 · 3 comments

Comments

@jfeser
Copy link
Contributor

jfeser commented May 7, 2020

Running opam update fails with:

<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/curl "--write-out" "%{http_code}\\n" "--retry" "3" "--retry-delay" "2" "--user-agent" "opam/2.0.4" "-L" "-o" "/tmp/opam-24479-a71bb4/index.tar.gz.part" "https://opam.ocaml.org/index.tar.gz"
-   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
-                                  Dload  Upload   Total   Spent    Left  Speed
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
- curl: (60) SSL certificate problem: certificate has expired
- More details here: https://curl.haxx.se/docs/sslcerts.html
- 
- curl failed to verify the legitimacy of the server and therefore could not
- establish a secure connection to it. To learn more about this situation and
- how to fix it, please visit the web page mentioned above.
- 000
[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.4 -L -o /tmp/opam-24479-a71bb4/index.tar.gz.part
        https://opam.ocaml.org/index.tar.gz\" exited with code 60")
@kit-ty-kate
Copy link
Member

kit-ty-kate commented May 7, 2020

This seems to be fixed already. Could you confirm?

@kit-ty-kate
Copy link
Member

(sorry for that btw)

@jfeser
Copy link
Contributor Author

jfeser commented May 7, 2020

Yep, seems to be fixed. Thanks!

@jfeser jfeser closed this as completed May 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants