diff --git a/repo b/repo index f1eea9b599e2..d3847a9892a8 100644 --- a/repo +++ b/repo @@ -1,6 +1,7 @@ opam-version: "2.0" browse: "https://opam.ocaml.org/pkg/" upstream: "https://github.com/ocaml/opam-repository/tree/master/" +archive-mirrors: "https://opam.ocaml.org/cache" announce: [ """ [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html)