uhh, looks like the default opam.ocaml.org index updater is still experiencing issues.
With this temporary fix it should be alright Package index on opam.ocaml.org outdated? - #2 by rjbou
Sorry about that
uhh, looks like the default opam.ocaml.org index updater is still experiencing issues.
With this temporary fix it should be alright Package index on opam.ocaml.org outdated? - #2 by rjbou
Sorry about that