The service serving the opam repository is down, works to bring it back to life and also to update it for good to something more stable are ongoing. The easiest workaround is to temporarily use git: Package index on opam.ocaml.org outdated? - #2 by rjbou
3 Likes